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...
Open Access
Handling Algebraic Effects
Logical methods in computer science, 2013-12, Vol.9, Issue 4
2013
Volltextzugriff (PDF)

PloS one, 2015-06, Vol.10 (6), p.e0114296-e0114296
2015
Volltextzugriff (PDF)


Logical methods in computer science, 2017-01, Vol.13, Issue 1
2017
Volltextzugriff (PDF)

Mathematical structures in computer science, 2009-06, Vol.19 (3), p.501-539
2009
Volltextzugriff (PDF)

Open Access
Free complete Wasserstein algebras
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-28
2020
Volltextzugriff (PDF)

Open Access
Abstract types have existential type
ACM transactions on programming languages and systems, 1988-07, Vol.10 (3), p.470-502
1988
Volltextzugriff (PDF)

Open Access
A Model of Cooperative Threads
Logical methods in computer science, 2010-01, Vol.6, Issue 4
2010
Volltextzugriff (PDF)

Theoretical computer science, 2019-04, Vol.765, p.97-119
2019
Volltextzugriff (PDF)

The journal of logic and algebraic programming, 2004-07, Vol.60-61, p.3-15
2004
Volltextzugriff (PDF)

SIGPLAN notices, 2016-04, Vol.51 (1), p.69-83
2016
Volltextzugriff (PDF)

Theoretical computer science, 2014-08, Vol.546, p.17-29
2014
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2020-10, Vol.352, p.211-232
2020
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.36-54
Volltextzugriff (PDF)

Open Access
A Calculus of Chemical Systems
In Search of Elegance in the Theory and Practice of Computation, p.445-465
Volltextzugriff (PDF)


Open Access
On Protection by Layout Randomization
ACM transactions on information and system security, 2012-07, Vol.15 (2), p.1-29
2012
Volltextzugriff (PDF)

2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010, p.58-59
2010
Volltextzugriff (PDF)

Open Access
Foundations of Differential Dataflow
Foundations of Software Science and Computation Structures, p.71-83
Volltextzugriff (PDF)

SIGPLAN notices, 2012-01, Vol.47 (1), p.349-360
2012
Volltextzugriff (PDF)

Horizons of the Mind. A Tribute to Prakash Panangaden, p.1-39
Volltextzugriff (PDF)

Open Access
The Compiler Forest
Programming Languages and Systems, p.21-40
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2018-04, Vol.335, p.49-66
2018
Volltextzugriff (PDF)

Theoretical computer science, 1993-12, Vol.121 (1), p.351-409
1993
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n