Centrum Wiskunde & Informatica

Homomorphism preserving algebraic specifications require hidden sorts Tech Report

J.A. Bergstra (Jan) and J. Heering (Jan)

January 1993
A user's guide to the Software Testpilot Tech Report

H. Kesten and F. Kwakkel

January 1993
The Boltzmann entropy and randomness tests Tech Report

P. Gacs (Péter)

January 1993
Fast parallel permutation algorithms Tech Report

J. Keller (Jörg)

January 1993
More problems in rewriting Tech Report

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

January 1993
Relations between varieties of Kolmogorov complexities Tech Report

V.A. Uspensky and A. Shen (Alexander)

January 1993
Parallel experiments with simple linear algebra operations on a Cray S-MP system 500 matrix Tech Report

C.-H. Lai, H.J.J. te Riele (Herman) and A. Ualit

January 1993
Isomorphisms between predicate and state transformers Tech Report

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

January 1993

Previous

Next