Centrum Wiskunde & Informatica

Counting problems relating to a theorem of Dirichlet Article

Computational Geometry, 4(6), 309-325.

E. Kranakis (Evangelos) and M. Pocchiola

January 1994
Initial algebra and final coalgebra semantics for concurrency In Proceedings

J.J.M.M. Rutten (Jan) and D. Turi

January 1994
Fully abstract denotational models for nonuniform concurrent languages Article

Information and Computation, 115(1), 125-178.

E. Horita, J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

January 1994
Comparing combinatory reduction systems and higher-order rewrite systems In Proceedings

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

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.

M. de Graaf (Mart) and A. Schrijver (Lex)

January 1994
Weak orthogonality implies confluence: the higher-order case In Proceedings

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1994
On intersecting chains in Boolean algebras Article

Combinatorics, Probability and Computing, 3(1), 57-62.

P.L. Erdös (Péter), A. Seress and L.A. Székely

January 1994

Previous

Next