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...
Open Access
Scope-Bounded Pushdown Languages
International journal of foundations of computer science, 2016-02, Vol.27 (2), p.215-233
2016
Volltextzugriff (PDF)


The Annals of thoracic surgery, 2017-07, Vol.104 (1), p.e35-e37
2017
Volltextzugriff (PDF)

ACM transactions on programming languages and systems, 2022-03, Vol.44 (1), p.1-50
2022
Volltextzugriff (PDF)




Formal methods in system design, 2009-10, Vol.35 (2), p.121-151
2009
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-07, Vol.87 (Proc. FIT 2012), p.34-47
2012
Volltextzugriff (PDF)

ACM transactions on computational logic, 2004-01, Vol.5 (1), p.1-25
2004
Volltextzugriff (PDF)


Verification, Model Checking, and Abstract Interpretation, p.495-513
Volltextzugriff (PDF)


Information and computation, 2020-12, Vol.275, p.104588, Article 104588
2020
Volltextzugriff (PDF)


22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007, p.161-170
2007
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.96-109
2006
Volltextzugriff (PDF)

Theoretical Computer Science, p.225-239
Volltextzugriff (PDF)



Open Access
Visibly Pushdown Modular Games
Electronic proceedings in theoretical computer science, 2014-08, Vol.161 (Proc. GandALF 2014), p.260-274
2014
Volltextzugriff (PDF)

LATIN 2010: Theoretical Informatics, p.96-107
Volltextzugriff (PDF)

ACM transactions on computational logic, 2001-07, Vol.2 (3), p.388-407
2001
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.807-812
2015
Volltextzugriff (PDF)

Theoretical computer science, 2014-01, Vol.515, p.46-63
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt