CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Computational number theory at CWI in 1970--1994 Article
CWI Quarterly, 7(4), 285-335.January 1994 -
Counting problems relating to a theorem of Dirichlet Article
Computational Geometry, 4(6), 309-325.January 1994 -
January 1994 -
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