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




Journal of parallel and distributed computing, 2013-08, Vol.73 (8), p.1049-1065
2013
Volltextzugriff (PDF)


Formal methods in system design, 2006-11, Vol.29 (3), p.253-293
2006
Volltextzugriff (PDF)


Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100719, Article 100719
2022
Volltextzugriff (PDF)

Logical methods in computer science, 2019-01, Vol.15, Issue 2
2019
Volltextzugriff (PDF)


Higher-order and symbolic computation, 2002-12, Vol.15 (4), p.301-348
2002
Volltextzugriff (PDF)

Information and computation, 1996-07, Vol.128 (1), p.26-47
1996
Volltextzugriff (PDF)


Open Access
A foundation for actor computation
Journal of functional programming, 1997-01, Vol.7 (1), p.1-72
1997
Volltextzugriff (PDF)

Editorial
Higher-Order and Symbolic Computation, 2009-12, Vol.22 (4), p.293-293
2009
Volltextzugriff (PDF)

Editorial
Higher-Order and Symbolic Computation, 2009-09, Vol.22 (3), p.197-197
2009
Volltextzugriff (PDF)

Editorial
Higher-Order and Symbolic Computation, 2009-06, Vol.22 (2), p.113-113
2009
Volltextzugriff (PDF)

Editorial
Higher-Order and Symbolic Computation, 2009, Vol.22 (4), p.293-293
2009
Volltextzugriff (PDF)

Editorial
Higher-Order and Symbolic Computation, 2009, Vol.22 (3), p.197-197
2009
Volltextzugriff (PDF)

Editorial
Higher-Order and Symbolic Computation, 2009, Vol.22 (2), p.113-113
2009
Volltextzugriff (PDF)


Lecture notes in computer science, 2005, p.321-364
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2000, p.391-406
2000
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n