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, 2009-05, Vol.207 (5), p.583-594
2009
Link zum Volltext


Theoretical computer science, 2008-05, Vol.398 (1), p.150-169
2008
Link zum Volltext

Theoretical computer science, 2001, Vol.253 (2), p.239-285
2001
Link zum Volltext

Preface
Theoretical computer science, 2003-04, Vol.298 (3), p.385-386
2003
Link zum Volltext


Open Access
Prelogical Relations
Information and computation, 2002-10, Vol.178 (1), p.23-43
2002
Link zum Volltext

Theoretical computer science, 1999-02, Vol.212 (1), p.183-209
1999
Link zum Volltext

Electronic notes in theoretical computer science, 2002-06, Vol.62, p.116-135
2002
Link zum Volltext

Open Access
Prelogical Relations
Information and computation, 2002-10, Vol.178 (1), p.23-43
2002
Link zum Volltext

Theoretical computer science, 2003, Vol.298 (3)
2003
Link zum Volltext

Theoretical computer science, 2003, Vol.290 (1), p.599-635
2003
Link zum Volltext

Theoretical computer science, 2001, Vol.253 (2), p.239-285
2001
Link zum Volltext

Theoretical computer science, 2001, Vol.253 (2), p.239-285
2001
Link zum Volltext

Annals of pure and applied logic, 1998-05, Vol.92 (2), p.211-214
1998
Link zum Volltext

Theoretical computer science, 1996-03, Vol.156 (1), p.203-215
1996
Link zum Volltext

Journal of computer and system sciences, 1992-08, Vol.45 (1), p.49-75
1992
Link zum Volltext

Electronic notes in theoretical computer science, 2007-04, Vol.172, p.399-436
2007
Link zum Volltext

Open Access
A Variable Typed Logic of Effects
Information and computation, 1995-05, Vol.119 (1), p.55-90
1995
Link zum Volltext

Electronic notes in theoretical computer science, 2006-10, Vol.164 (1), p.67-84
2006
Link zum Volltext

Open Access
Choice principles in hyperuniverses
Annals of pure and applied logic, 1996-01, Vol.77 (1), p.35-52
1996
Link zum Volltext

Electronic notes in theoretical computer science, 2006-05, Vol.158, p.151-169
2006
Link zum Volltext

Electronic notes in theoretical computer science, 2006-05, Vol.157 (2), p.67-78
2006
Link zum Volltext

Open Access
Generalized Coiteration Schemata
Electronic notes in theoretical computer science, 2003-07, Vol.82 (1), p.76-93
2003
Link zum Volltext

Electronic notes in theoretical computer science, 2006-03, Vol.135 (3), p.73-84
2006
Link zum Volltext