CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Analysis of the implicit Euler local uniform grid refinement method Article
SIAM Journal on Scientific Computing, 14(2), 259-278.January 1993 -
January 1993 -
Runge-Kutta methods and local uniform grid refinement Article
Mathematics of Computation, 60(202), 591-616.January 1993 -
January 1993 -
On the unification free Prolog programs In Proceedings
January 1993 -
Compositional analysis for concurrent constraint programming In Proceedings
M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi (Catuscia)
January 1993 -
Cardiac magnetic resonance imaging by retrospective gating: mathematical modelling and reconstruction algorithms Article
European Journal of Applied Mathematics, 4(3), 241-270.January 1993 -
Stochastic scheduling games with Markov decision arrival processes. Pursuit-evasion differential games, III Article
Computers & Mathematics with Applications, 26(6), 141-148.January 1993