Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

The Journal of chemical physics, 2020-03, Vol.152 (12), p.124113-124113
2020
Volltextzugriff (PDF)

The Journal of chemical physics, 2020-03, Vol.152 (12), p.124112-124112
2020
Volltextzugriff (PDF)


Theoretical computer science, 2022-04, Vol.913, p.1-7
2022
Volltextzugriff (PDF)


Physical review. E, 2020-09, Vol.102 (3), p.032602-032602, Article 032602
2020
Volltextzugriff (PDF)



Open Access
The Univalence Axiom in Cubical Sets
Journal of automated reasoning, 2019-08, Vol.63 (2), p.159-171
2019
Volltextzugriff (PDF)

Open Access
A Kripke model for simplicial sets
Theoretical computer science, 2015-04, Vol.574, p.86-91
2015
Volltextzugriff (PDF)


Mathematical structures in computer science, 2021-10, Vol.31 (9), p.1006-1023
2021
Volltextzugriff (PDF)

Journal of algebra, 2014-05, Vol.406, p.46-68
2014
Volltextzugriff (PDF)

Communications in algebra, 2016, Vol.44 (2), p.515-567
2016
Volltextzugriff (PDF)

Indagationes mathematicae, 2018-12, Vol.29 (6), p.1441-1464
2018
Volltextzugriff (PDF)



2013 Proceedings of the European Solid-State Device Research Conference (ESSDERC), 2013, p.300-303
2013
Volltextzugriff (PDF)

Logical methods in computer science, 2011-01, Vol.7, Issue 2 (2)
2011
Volltextzugriff (PDF)

Open Access
Automating Coherent Logic
Lecture notes in computer science, 2005, p.246-260
2005
Volltextzugriff (PDF)



Preface
Annals of pure and applied logic, 2012-02, Vol.163 (2), p.85-86
2012
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n