CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1994 -
Preconditioning in parallel Runge-Kutta methods for stiff initial value problems. Recent trends and applications in the numerical solution of ordinary differential equations Article
Computers & Mathematics with Applications, 28(10-12), 17-31.January 1994 -
Spectral characterization of the optional quadratic variation process Article
Stochastic Processes and their Applications, 54(1), 165-174.January 1994 -
Quantum homogeneous spaces, duality and quantum $2$-spheres Article
Geometriae Dedicata, 52(3), 291-315.January 1994 -
Modal logic, transition systems and processes Article
Journal of Logic and Computation, 4(5), 811-855.J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and V. Stebletsova
January 1994 -
A declarative approach for first-order built-in's of Prolog In Proceedings
K.R. Apt (Krzysztof), E. Marchiori and C. Palamidessi (Catuscia)
January 1994 -
January 1994 -
Disagreement percolation in the study of Markov fields Article
Annals of Probability, 22(2), 749-763.January 1994