Centrum Wiskunde & Informatica

Comparative semantics for linear arrays of communicating processes Tech Report

J.W. de Bakker (Jaco), F. van Breugel and A. de Bruin (Arie)

January 1993
Three metric domains of processes for bisimulation Tech Report

F. van Breugel

January 1993
MANIFOLD version 1.0 programming: programs and problems Tech Report

C.L. Blom (Kees)

January 1993
Bisimulations and predicate logic Tech Report

R.T.P. Fernando (Tim)

January 1993
On the unification free Prolog programs Tech Report

K.R. Apt (Krzysztof) and S. Etalle (Sandro)

January 1993
Chamfer metrics in mathematical morphology Tech Report

P. F. M. Nacken (Peter)

January 1993
Efficient algorithms for mathematical morphology based on chamfer distances Tech Report

P. F. M. Nacken (Peter)

January 1993
On the construction of morphological operators which are selfdual and activity-extensive Tech Report

H.J.A.M. Heijmans (Henk)

January 1993

Previous

Next