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...
Model Checking Higher-Order Programs
Journal of the ACM, 2013-06, Vol.60 (3), p.1-62
2013
Volltextzugriff (PDF)

Food science and technology research, 2024-01, Vol.30 (2), p.161-169, Article FSTR-D-23-00144
2024
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2021, Vol.344, p.1-12
2021
Volltextzugriff (PDF)




ACM transactions on programming languages and systems, 2021-12, Vol.43 (4), p.1-54
2021
Volltextzugriff (PDF)

Journal of the Physical Society of Japan, 2021-12, Vol.90 (12)
2021
Volltextzugriff (PDF)



Information and computation, 2017-02, Vol.252, p.48-70
2017
Volltextzugriff (PDF)


Scientific reports, 2018-03, Vol.8 (1), p.4969-11, Article 4969
2018
Volltextzugriff (PDF)


Programming Languages and Systems, p.146-156
Volltextzugriff (PDF)



Foundations of Software Science and Computational Structures, p.260-274
Volltextzugriff (PDF)



The Journal of biological chemistry, 2009-08, Vol.284 (32), p.21192-21200
2009
Volltextzugriff (PDF)




Journal of the Physical Society of Japan, 2018-01, Vol.87 (1), p.14005
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n