Centrum Wiskunde & Informatica

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
Analysis of local uniform grid refinement In Proceedings

J.G. Verwer (Jan) and R.A. Trompert (Ronald)

January 1993
Wavelet bases adapted to inhomogeneous cases Book Chapter

P.W. Hemker (Piet) and F. Plantevin

January 1993

Previous

Next