Centrum Wiskunde & Informatica

The STO-problem is NP-hard Tech Report

K.R. Apt (Krzysztof), P. van Emde Boas (Peter) and A. Welling

January 1994
The algebra of modal logic Tech Report

P. Blackburn (Patrick), M. de Rijke (Maarten) and Y. Venema

January 1994
A note on bootstrapping the local time of the empirical process Tech Report

R. Helmers (Roelof)

January 1994
More (on) unification-free Prolog programs Tech Report

S. Etalle (Sandro)

January 1994
Formal methods in the development of PREMO Tech Report

D.A. Duce, D.J. Duke, P.J.W. ten Hagen (Paul), I. Herman (Ivan) and G.J. Reynolds

January 1994
Convergence aspects of step-parallel iteration of Runge-Kutta methods Tech Report

W.A. van der Veen (Wolter), J.J.B. de Swart (Jacques) and P.J. van der Houwen (Piet)

January 1994
Data mining. The search for knowledge in databases Tech Report

M. Holsheimer and A.P.J.M. Siebes (Arno)

January 1994
Term rewriting properties of SOS axiomatisations Tech Report

D.J.B. Bosscher (Doeko)

January 1994

Previous

Next