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


Electronic proceedings in theoretical computer science, 2016-06, Vol.211 (Proc. PLACES 2016), p.25-36
2016
Volltextzugriff (PDF)

Open Access
Retractions in Intersection Types
Electronic proceedings in theoretical computer science, 2017-02, Vol.242 (Proc. ITRS 2016), p.31-47
2017
Volltextzugriff (PDF)

Mathematical structures in computer science, 2016-02, Vol.26 (2), p.238-302
2016
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2015-03, Vol.177 (Proc. ITRS 2014), p.53-64
2015
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2013-07, Vol.121 (Proc. ITRS 2012), p.58-80
2013
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2010-06, Vol.28 (Proc. QAPL 2010), p.82-98
2010
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-09, Vol.67 (Proc. CompMod 2011), p.3-18
2011
Volltextzugriff (PDF)

Open Access
Self-adaptive multiparty sessions
Service oriented computing and applications, 2015-09, Vol.9 (3-4), p.249-268
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2010-10, Vol.40 (Proc. MeCBIC 2010), p.102-120
2010
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2009-10, Vol.6 (Proc. COMPMOD 2009), p.77-92
2009
Volltextzugriff (PDF)

Mathematical structures in computer science, 2017-06, Vol.27 (5), p.603-625
2017
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2017-08, Vol.90, p.31-49
2017
Volltextzugriff (PDF)

Formal Methods for Multicore Programming, 2015, Vol.9104, p.146-178
2015
Volltextzugriff (PDF)


Briefings in bioinformatics, 2014-09, Vol.15 (5), p.798-813
2014
Volltextzugriff (PDF)


Lambda Calculus with Types
1, 2013
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.115-129
2004
Volltextzugriff (PDF)




Lecture notes in computer science, 2004, p.210-225
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n