Publication

The leap year problem Tech Report

A. van Deursen (Arie)

Undecidability and completeness results for process algebras with alternative with alternative quantification over data Tech Report

J.F. Groote (Jan Friso) and S.P. Luttik (Bas)

Efficient enumeration of non-isomorphic processing trees Tech Report

F. Waas (Florian)

A vector valued Stefan problem from aluminium industry Tech Report

F.J. Vermolen and C. Vuik (Cornelis)

Numerical methods in global transport-chemistry models Dissertation

E.J. Spee (Edwin)

Scientific publications CWI, februari 1998 Book

Generalized metric spaces: Completion topology, and powerdomains via the Yoneda embedding Article

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

Mathematical aspects of salt transport in porous media Dissertation

R.J. Schotting (Ruud)