Centrum Wiskunde & Informatica

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

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
Manray : a replicated workers program in manifold Tech Report

P. Spilling and F. Arbab (Farhad)

January 1993
Service independent building blocks Tech Report

A.S. Klusener (Steven), B. van Vlijmen and A. van Waveren

January 1993

Previous

Next