Centrum Wiskunde & Informatica

Texture synthesis Tech Report

M. Haindl

January 1991
Proof theory for $ mu $ -CRL Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

January 1991
Undecidable equivalences for basic process algebra Tech Report

J.F. Groote (Jan Friso) and H. Hüttel

January 1991
A short proof of the decidability of bisimulation fro normed BPA-processes Tech Report

J.F. Groote (Jan Friso)

January 1991
A numerical model of the northwest European Continental Shelf on the CRAY Y-MP2E Tech Report

E.D. de Goede (Erik)

January 1991
Normal forms in real time process algebra Tech Report

W.J. Fokkink (Wan)

January 1991
Datatype laws without signatures Tech Report

M.M. Fokkinga (Maarten)

January 1991
Calculate categorically ! Tech Report

M.M. Fokkinga (Maarten)

January 1991

Previous

Next