Centrum Wiskunde & Informatica

A proof theory for process creation Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1991
A proof theory for a sequential version of POOL Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1991
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
Recognition of overlapping objects using Markov spatial processes Tech Report

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

January 1991
State space formulas for transfer poles at infinity Tech Report

M. Kuijper and J.M. Schumacher (Hans)

January 1991

Previous

Next