Publication

Quantifiers and partiality Book Chapter

D.J.N. van Eijck (Jan)

Coalgebraic specifications and models of deterministic hybrid systems In Proceedings

B.P.F. Jacobs

Prime factorizations of abstract domains using first-order logic In Proceedings

E. Marchiori

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)