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







The Lancet (British edition), 2012, Vol.379 (9822), p.1205-1213
2012
Volltextzugriff (PDF)

Open Access
Shortest paths in one-counter systems
Logical methods in computer science, 2019-01, Vol.15, Issue 1
2019
Volltextzugriff (PDF)


Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), 2016, p.207-216
2016
Volltextzugriff (PDF)


2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)

Open Access
Shortest Paths in One-Counter Systems
Foundations of Software Science and Computation Structures, p.462-478
Volltextzugriff (PDF)