Publication

Nederlandse stichting voor de wiskunde : inlichtingenboekje 1991 Booklet

An invitation to structured (meta)population models Tech Report

O. Diekmann (Odo)

Parallel step-by-step methods Tech Report

P.J. van der Houwen (Piet)

A rewrite approach to polynomial ideal theory Tech Report

A. Middeldorp and M. Starcevic

Counterexamples to completeness results for basic narrowing Tech Report

A. Middeldorp and E. Hamoen

Fine-grain incremental implementation of algebraic specifications Tech Report

E.A. van der Meulen (Emma)

An executable semantics for a subset of COLD Tech Report

A.S. Klusener (Steven)

An analytical solution to the consistency problem for the Littlewood model in software reliability Tech Report

L.G. Barendregt and M.C. J. van Pul (Mark)