CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings
January 1996 -
A simple cell-centered multigrid method for $3$D interface problems Article
Computers & Mathematics with Applications, 31(9), 25-33.January 1996 -
Explicit symmetric Runge-Kutta-Nyström methods for parallel computers Article
Computers & Mathematics with Applications, 31(2), 111-121.January 1996
-
January 1996
-
The workload in the $M/G/1$ queue with work removal Article
Probability in the Engineering and Informational Sciences, 10(2), 261-277.January 1996 -
Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra Article
Journal of Mathematical Physics, 37(1), 524-532.January 1996 -
A comparison of stiff ode solvers for atmospheric chemistry problems Article
Atmospheric Environment, 30(1), 49-58.J.G. Verwer (Jan), J.G. Blom (Joke), M. van Loon (Martin) and E.J. Spee (Edwin)
January 1996 -
Basic quantifier theory Book Chapter
January 1996