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










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


Journal of functional programming, 2019, Vol.29, Article e16
2019
Link zum Volltext

2011 IEEE 24th Computer Security Foundations Symposium, 2011, p.191-204
2011

Mathematical structures in computer science, 2011-12, Vol.21 (6), p.1207-1252
2011
Link zum Volltext

Proceedings of ACM on programming languages, , Vol.1 (ICFP), p.1-29
Link zum Volltext

The journal of privacy and confidentiality, 2020, Vol.10 (1)
2020
Link zum Volltext

Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Link zum Volltext

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext






Open Access
Program for TPDP 2016
The journal of privacy and confidentiality, 2019-03, Vol.9 (1)
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt