Publication
-
GEL, a graph exchange language Tech Report
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.January 1994 -
A declarative approach for first-order built-in's of Prolog In Proceedings
January 1994 -
January 1994 -
Disagreement percolation in the study of Markov fields Article
Annals of Probability, 22(2), 749-763.January 1994