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




Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.672-681
2016
Link zum Volltext

ACM transactions on programming languages and systems, 2013-11, Vol.35 (3), p.1-49, Article 9
2013
Link zum Volltext


Science of computer programming, 2022-08, Vol.220, p.102822, Article 102822
2022
Link zum Volltext




ACM transactions on programming languages and systems, 2018-01, Vol.40 (1), p.1-50, Article 4
2018
Link zum Volltext

Proceedings of ACM on programming languages, 2023-04, Vol.7 (OOPSLA1), p.256-285, Article 84
2023
Link zum Volltext

ACM transactions on programming languages and systems, 2023-05, Vol.45 (2), p.1-69, Article 8
2023
Link zum Volltext





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

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2012, p.97-110
2012
Link zum Volltext





Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt