Publication

CWI visiting committee on computer science - List of publications 1987 - 1991 Tech Report

Semigroups and renewal equations on dual Banach spaces with applications to population dynamics In Proceedings

O. Diekmann (Odo), M. Gyllenberg and H.R. Thieme

At Last an ISO C Binding of GKS Article

M. Bakker (Miente)

Activiteiten 1991/1992 op het gebied van de tweede fase onderzoeksopleiding wiskunde Booklet

Vakantiecursus 1991 - Meetkundige Structuren - programma + aanmeldingsformulier Booklet

CONCUR ’91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26-29, 1991 Proceedings Proceedings

Extended Horn clauses: the framework and some semantics In Proceedings

J.-M. Jacquet (Jean-Marie) and L. Monteiro (Luís)

Embedding as a tool for language comparison: on the CSP hierarchy In Proceedings

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)