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...
Theoretical computer science, 2020-04, Vol.813, p.218-233
2020
Volltextzugriff (PDF)

Journal of automated reasoning, 2019-12, Vol.63 (4), p.941-966
2019
Volltextzugriff (PDF)

New generation computing, 2018-07, Vol.36 (3), p.233-256
2018
Volltextzugriff (PDF)

Fundamenta informaticae, 2012, Vol.121 (1-4), p.227-252
2012
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2010-03, Vol.22 (Proc. LINEARITY 2009), p.1-13
2010
Volltextzugriff (PDF)

Journal of logic and computation, 2014-06
2014
Volltextzugriff (PDF)

Open Access
Essential and relational models
Mathematical structures in computer science, 2017-06, Vol.27 (5), p.626-650
2017
Volltextzugriff (PDF)

Mathematical structures in computer science, 2016-06, Vol.26 (5), p.829-867
2016
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2016-04, Vol.322, p.227-242
2016
Volltextzugriff (PDF)

International journal of environmental analytical chemistry, 2011-08, Vol.91 (9), p.900-909
2011
Volltextzugriff (PDF)

Typed Lambda Calculi and Applications, 2009, Vol.5608, p.95-111
2009
Volltextzugriff (PDF)

A Process-Model for Linear Programs
Types for Proofs and Programs, 2009, Vol.5497, p.289-305
2009
Volltextzugriff (PDF)


Linearity and PCF: a semantic insight
SIGPLAN notices, 2011-09, Vol.46 (9), p.372-384
2011
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2007-07, Vol.175 (4), p.21-36
2007
Volltextzugriff (PDF)

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2008, p.97-107
2008
Volltextzugriff (PDF)

Linearity and PCF: a semantic insight
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, 2011, p.372-384
2011
Volltextzugriff (PDF)

Open Access
Logical Semantics for Stability
Electronic notes in theoretical computer science, 2009-08, Vol.249, p.429-449
2009
Volltextzugriff (PDF)

Typed Lambda Calculi and Applications, 2007, Vol.4583, p.148-162
2007
Volltextzugriff (PDF)






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