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

Automata, Languages and Programming, 2001, p.963-978
2001
Link zum Volltext

Mobility Types in Coq
Lecture notes in computer science, 2004, p.324-337
2004
Link zum Volltext


Lecture notes in computer science, 2004, p.242-258
2004
Link zum Volltext

Lecture notes in computer science, 2003, p.271-283
2003
Link zum Volltext

Pre-logical relations
Lecture notes in computer science, 1999, p.546-561
1999
Link zum Volltext

Lecture notes in computer science, 2003, p.407-421
2003
Link zum Volltext

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

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


Journal of computer and system sciences, 1992-08, Vol.45 (1), p.49-75
1992
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

Lecture notes in computer science, 1999, p.114-128
1999
Link zum Volltext

Filter Models and Easy Terms
Lecture notes in computer science, 2001, Vol.2202, p.17-37
2001
Link zum Volltext
Aktive Filter
ThemaApplied Sciences