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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...


Logical methods in computer science, 2020-02, Vol.16, Issue 1
2020
Volltextzugriff (PDF)


Logic and Its Applications, 2023, Vol.13963, p.159-171
2023
Volltextzugriff (PDF)

Logic and Its Applications, 2023, Vol.13963, p.11-22
2023
Volltextzugriff (PDF)


Logic and Its Applications, 2023, Vol.13963, p.207-221
2023
Volltextzugriff (PDF)

Logic and Its Applications, 2023, Vol.13963, p.92-104
2023
Volltextzugriff (PDF)

Logic and Its Applications, 2023, Vol.13963, p.79-91
2023
Volltextzugriff (PDF)


A New Dimension of Imperative Logic
Logic and Its Applications, 2023, Vol.13963, p.143-158
2023
Volltextzugriff (PDF)

Logic and Its Applications, 2023, Vol.13963, p.189-206
2023
Volltextzugriff (PDF)

Logic and Its Applications, 2023, Vol.13963, p.130-142
2023
Volltextzugriff (PDF)

Logic and Its Applications, 2023, Vol.13963, p.68-78
2023
Volltextzugriff (PDF)

Logic and Its Applications, 2023, Vol.13963, p.105-116
2023
Volltextzugriff (PDF)

A Note on the Ontology of Mathematics
Logic and Its Applications, 2023, Vol.13963, p.1-10
2023
Volltextzugriff (PDF)

Two Ways to Scare a Gruffalo
Logic and Its Applications, 2023, Vol.13963, p.48-67
2023
Volltextzugriff (PDF)



LTL Can Be More Succinct
Automated Technology for Verification and Analysis, p.245-258
Volltextzugriff (PDF)


2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-13
2019
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n