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, 2009-09, Vol.410 (41), p.4111-4159
2009
Volltextzugriff (PDF)

Journal of the ACM, 1986-10, Vol.33 (4), p.724-767
1986
Volltextzugriff (PDF)

SIAM journal on computing, 1982-11, Vol.11 (4), p.761-783
1982
Volltextzugriff (PDF)

Theoretical computer science, 1993-12, Vol.121 (1), p.351-409
1993
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 logical view of composition
Theoretical computer science, 1993-06, Vol.114 (1), p.3-30
1993
Volltextzugriff (PDF)

Open Access
Concrete domains
Theoretical computer science, 1993-12, Vol.121 (1), p.187-277
1993
Volltextzugriff (PDF)

Mathematical Foundations of Computer Science 1979, 2005, p.108-120
2005
Volltextzugriff (PDF)

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

Open Access
Configuration structures
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 1995, p.199-209
1995
Volltextzugriff (PDF)

The λ-calculus is ω-incomplete
The Journal of symbolic logic, 1974-06, Vol.39 (2), p.313-317
1974
Volltextzugriff (PDF)


Information and computation, 1993, Vol.105 (1), p.1-29
1993
Volltextzugriff (PDF)

A term model for CCS
Mathematical Foundations of Computer Science 1980, 2005, p.261-274
2005
Volltextzugriff (PDF)

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

Theoretical computer science, 1977, Vol.5 (3), p.223-255
1977
Volltextzugriff (PDF)

Automata, Languages and Programming, 2005, p.479-494
2005
Volltextzugriff (PDF)

Theoretical computer science, 1975, Vol.1 (2), p.125-159
1975
Volltextzugriff (PDF)

Open Access
A Powerdomain Construction
SIAM journal on computing, 1976-09, Vol.5 (3), p.452-487
1976
Volltextzugriff (PDF)

Mathematical structures in computer science, 2009-02, Vol.19 (1), p.1-4
2009
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2009-02, Vol.222, p.1-1
2009
Volltextzugriff (PDF)

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1989, p.186-195
1989
Volltextzugriff (PDF)

Open Access
On proving limiting completeness
SIAM journal on computing, 1987-02, Vol.16 (1), p.179-194
1987
Volltextzugriff (PDF)

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

Theoretical computer science, 1993, Vol.121 (1-2), p.179-277
1993
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt