Publication

Bewijzen in de wiskunde Book

Proceedings van het symposium wiskunde en de computer : [Amsterdam, 1989] Book

Local class field theory (by K. Iwasawa) - Local field theory (by J. Neukirch) Book Review

M. Hazewinkel (Michiel)

Control flow versus logic: a denotational and a declarative model for guarded Horn clauses In Proceedings

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

On the structure at infinity of a structured system Tech Report

J.W. van der Woude (Jacob)

Refinement in branching time semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

Analysis of a six-component atmospheric spectral model: chaos, predictability and vacillation Article

H.E. de Swart (Huibert)

On semigroups and populations In Proceedings

O. Diekmann (Odo)