CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Semantics for logic programs without occur check Article
Theoretical Computer Science, 71(1), 155-174.January 1990
-
On the order of prolongations and restrictions in multigrid procedures Article
Journal of Computational and Applied Mathematics, 32(3), 423-429.January 1990 -
A Markov chain identity and monotonicity of the diffusion constants for a random walk in a heterogeneous environment Article
Mathematical Proceedings of the Cambridge Philosophical Society, 108(1), 111-126.January 1990 -
January 1990 -
Non-Gaussian linear filtering, identification of linear systems, and the symplectic group Book Chapter
January 1990 -
Semantic correctness for a parallel object-oriented language Article
SIAM Journal on Computing, 19(2), 341-383.January 1990
-
Completeness of resolution revisited Article
Theoretical Computer Science, 74(2), 227-237.January 1990
-
Asymptotic estimates for Laguerre polynomials Article
ZAMP: Zeitschrift für angewandte Mathematik und Physik, 41(1), 114-126.January 1990