CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Fully abstract denotational models for nonuniform concurrent languages Article
Information and Computation, 115(1), 125-178.January 1994 -
January 1994 -
The STO-problem is NP-hard Article
Journal of Symbolic Computation, 18(5), 489-495.K.R. Apt (Krzysztof), P. van Emde Boas (Peter) and A. Welling
January 1994 -
Grid minors of graphs on the torus Article
Journal of Combinatorial Theory - Series B, 61(1), 57-62.January 1994 -
Weak orthogonality implies confluence: the higher-order case In Proceedings
January 1994 -
On intersecting chains in Boolean algebras Article
Combinatorics, Probability and Computing, 3(1), 57-62.January 1994 -
Time integration of three-dimensional numerical transport models. A Festschrift to honor Professor Robert Vichnevetsky on his 65th birthday. Article
Applied Numerical Mathematics, 16(1-2), 201-225.B.P. Sommeijer (Ben), P.J. van der Houwen (Piet) and J. Kok (Jan)
January 1994 -
A stochastic approach to an interpolation problem with applications to Hellinger integrals and arithmetic-geometric mean relationship Article
CWI Quarterly, 7(3), 245-258.January 1994