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...



American journal of respiratory and critical care medicine, 2003-06, Vol.167 (12), p.1676-1686
2003
Volltextzugriff (PDF)






Open Access
Intuitionistic S4 is decidable
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
Volltextzugriff (PDF)

Clinical biomechanics (Bristol), 2007-01, Vol.22 (1), p.52-58
2007
Volltextzugriff (PDF)


Critical care (London, England), 2021-09, Vol.25 (1), p.1-344, Article 344
2021
Volltextzugriff (PDF)



Focused and Synthetic Nested Sequents
Foundations of Software Science and Computation Structures, p.390-407
Volltextzugriff (PDF)







Automated Reasoning with Analytic Tableaux and Related Methods, p.81-97
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt