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 1996
-
Characterisation results and Markov chain Monte Carlo algorithms including exact simulation for some spatial point processses Tech Report
O. Häggström, M.N.M. van Lieshout (Marie-Colette) and J. Møller
January 1996
-
January 1996
-
A calculus for sequential logic with 4 values Tech Report
January 1996
-
Benchmarking stiff ODE solvers for atmorspheric chemistry problems II: Rosenbrock solvers Tech Report
A. Sandu, J.G. Verwer (Jan), J.G. Blom (Joke), E.J. Spee (Edwin) and G.R. Carmichael
January 1996
-
On periodic Pollaczek waiting time processes In Proceedings
January 1996 -
Implicit coercions in type systems In Proceedings
January 1996 -
Elements of generalized ultrametric domain theory Article
Theoretical Computer Science, 170(1-2), 349-381.January 1996