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 clinical oncology, 1997-06, Vol.15 (6), p.2345-2350
1997
Volltextzugriff (PDF)

Lambda Calculus with Types
1, 2013
Volltextzugriff (PDF)

On the lambda Y calculus
Proceedings - Symposium on Logic in Computer Science, 2002, p.159-166
2002
Volltextzugriff (PDF)

Two Variables Are Not Enough
Lecture notes in computer science, 2005, p.406-409
2005
Volltextzugriff (PDF)


Open Access
On the λY calculus
Annals of pure and applied logic, 2004-12, Vol.130 (1), p.325-337
2004
Volltextzugriff (PDF)

On the Word Problem for Combinators
Lecture notes in computer science, 2000, p.203-213
2000
Volltextzugriff (PDF)

Advances in surgery (Chicago), 1996, Vol.30, p.209-221
1996
Volltextzugriff (PDF)

The American surgeon, 1994-11, Vol.60 (11), p.812
1994
Volltextzugriff (PDF)

Lower Bounds on Herbrand's Theorem
Proceedings of the American Mathematical Society, 1979-06, Vol.75 (1), p.104
1979
Volltextzugriff (PDF)

The Journal of symbolic logic, 1982-03, Vol.47 (1), p.17-26
1982
Volltextzugriff (PDF)


Information processing letters, 1992-05, Vol.42 (3), p.133-139
1992
Volltextzugriff (PDF)

Surgery, 1992-06, Vol.111 (6), p.623-625
1992
Volltextzugriff (PDF)

Annals of pure and applied logic, 2005-03, Vol.132 (2), p.109-125
2005
Volltextzugriff (PDF)

On Cartesian monoids
Computer Science Logic, 1997, p.446-459
1997
Volltextzugriff (PDF)

Information and control, 1985-05, Vol.65 (2), p.85-97
1985
Volltextzugriff (PDF)

Church’s Lambda Delta Calculus
Lecture notes in computer science, 2000, p.293-307
2000
Volltextzugriff (PDF)

SIAM journal on computing, 1980-02, Vol.9 (1), p.104-110
1980
Volltextzugriff (PDF)

Discrete mathematics, 1981, Vol.36 (1), p.103-107
1981
Volltextzugriff (PDF)

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004, 2004, p.202-210
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 1999, Vol.1581, p.355-364
1999
Volltextzugriff (PDF)

Morphisms and partitions of V-sets
Lecture notes in computer science, 1999, p.313-322
1999
Volltextzugriff (PDF)

Theoretical computer science, 1993-12, Vol.121 (1), p.441-448
1993
Volltextzugriff (PDF)

Rewriting Techniques and Applications, 1997, p.299-307
1997
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt