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




Information and computation, 2014-11, Vol.238, p.2-29
2014
Volltextzugriff (PDF)


Typed Lambda Calculi and Applications, p.3-5
Volltextzugriff (PDF)

Combining Shostak Theories
Lecture notes in computer science, 2002, p.1-18
2002
Volltextzugriff (PDF)

Information and computation, 2011-03, Vol.209 (3), p.409-442
2011
Volltextzugriff (PDF)

An Extensional Böhm Model
Lecture notes in computer science, 2002, p.159-173
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.296-310
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 1999, p.32-46
1999
Volltextzugriff (PDF)



Lecture notes in computer science, 2002, p.24-50
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.114-128
2002
Volltextzugriff (PDF)


Lecture notes in computer science, 2002, p.252-266
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.367-370
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.340-351
2002
Volltextzugriff (PDF)

On the Hardness of Permanent
Lecture notes in computer science, 1999, p.90-99
1999
Volltextzugriff (PDF)

Trees in Algebra and Programming — CAAP'94, 2005, p.115-129
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.174-191
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.192-206
2002
Volltextzugriff (PDF)

Rewrite Games
Lecture notes in computer science, 2002, p.144-158
2002
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n