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

Electronic proceedings in theoretical computer science, 2021-09, Vol.344, p.1-12
2021
Link zum Volltext




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


Information and computation, 2017-02, Vol.252, p.48-70
2017
Link zum Volltext








Programming Languages and Systems, p.146-156
Link zum Volltext




Foundations of Software Science and Computational Structures, p.260-274
Link zum Volltext





Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n