Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings

K.R. Apt (Krzysztof)

A simple cell-centered multigrid method for $3$D interface problems Article

J. Molenaar (Gijs)

Explicit symmetric Runge-Kutta-Nyström methods for parallel computers Article

N. Cong

Speuren op het Spoor Wedstrijd in het kader van het 50-jarig jubileum van de STICHTING MATHEMATISCH CENTRUM Other

The workload in the $M/G/1$ queue with work removal Article

R.J. Boucherie (Richard) and O.J. Boxma (Onno)

Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra Article

N.W. van den Hijligenberg and R. Martini

A comparison of stiff ode solvers for atmospheric chemistry problems Article

J.G. Verwer (Jan), J.G. Blom (Joke), M. van Loon (Martin) and E.J. Spee (Edwin)

Basic quantifier theory Book Chapter

J. van der Does (Jaap) and D.J.N. van Eijck (Jan)