Centrum Wiskunde & Informatica

Proving termination of general Prolog programs Tech Report

K.R. Apt (Krzysztof) and D. Pedreschi

January 1991
Completeness in real time process algebra Tech Report

A.S. Klusener (Steven)

January 1991
Zero drift random walk on N x N with reflection : ergodicity conditions Tech Report

J.W. Cohen

January 1991
Single-machine scheduling to minimize a function of K maximum cost criteria Tech Report

J.A. Hoogeveen

January 1991
A pointwise criterion for controller robustness Tech Report

J.M. Schumacher (Hans)

January 1991
Efficient visit frequencies for polling tables : minimization of waiting cost Tech Report

O.J. Boxma (Onno), H. Levy and J.A. Weststrate

January 1991
Right angle free subsets in the plane Tech Report

B. Gamble, W.R. Pulleyblank, B. Reed and F.B. Shepherd (Bruce)

January 1991
Recognition of overlapping objects using Markov spatial processes Tech Report

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

January 1991

Previous

Next