Centrum Wiskunde & Informatica

Isomorphisms between predicate and state transformers In Proceedings

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1993
Combinatory reduction systems: introduction and survey. A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday. Article

Theoretical Computer Science, 121(1-2), 279-308.

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
More problems in rewriting In Proceedings

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1993
Associative storage modification machines Book Chapter

J.T. Tromp (John) and P. van Emde Boas (Peter)

January 1993
Parallel block predictor-corrector methods of Runge-Kutta type In Proceedings

P.J. van der Houwen (Piet) and Huu Cong Nguyen

January 1993
An introduction to Kolmogorov complexity and its applications Book

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1993
Tight comparison bounds for the string prefix-matching problem In Proceedings

D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

January 1993
Modular specification of process algebras Article

Theoretical Computer Science, 113(2), 293-348.

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

January 1993

Previous

Next