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...
2024
Volltextzugriff (PDF)

Synthesis modulo recursive functions
SIGPLAN notices, 2013-10, Vol.48 (10), p.407-426
2013
Volltextzugriff (PDF)

SIGPLAN notices, 2016-08, Vol.51 (6), p.522-538
2016
Volltextzugriff (PDF)

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.64-78
2017
Volltextzugriff (PDF)

Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2022, p.457-458
2022
Volltextzugriff (PDF)

2023 22nd International Symposium on Power Electronics (Ee), 2023, Vol.1, p.1-7
2023
Volltextzugriff (PDF)

Proceedings of the Third ACM International Workshop on Edge Systems, Analytics and Networking, 2020, p.67-72
2020
Volltextzugriff (PDF)

SIGPLAN notices, 2013-06, Vol.48 (6), p.27-38
2013
Volltextzugriff (PDF)

Proceedings of the Fifth Annual Scala Workshop, 2014, p.45-49
2014
Volltextzugriff (PDF)

Open Access
Synthesis modulo recursive functions
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, 2013, p.407-426
2013
Volltextzugriff (PDF)

SIGPLAN notices, 2017-09, Vol.52 (6), p.64-78
2017
Volltextzugriff (PDF)

SIGPLAN notices, 2015-12, Vol.50 (10), p.37-56
2015
Volltextzugriff (PDF)

Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013, p.27-38
2013
Volltextzugriff (PDF)