CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
Uniform Airy-type expansions of integrals Article
SIAM Journal on Mathematical Analysis, 25(2), 304-321.January 1994 -
An evaluation of explicit pseudo-steady-state approximation schemes for stiff ODE systems from chemical kinetics Article
Journal of Computational Physics, 113(2), 347-352.January 1994 -
Bootstrapping multivariate $U$-quantiles and related statistics Article
Journal of Multivariate Analysis, 49(1), 97-109.January 1994 -
A computer-checked verification of Milner's scheduler In Proceedings
January 1994 -
Declarative interpretations reconsidered In Proceedings
January 1994