Centrum Wiskunde & Informatica

An effective axiomatization for real time ACP Tech Report

W.J. Fokkink (Wan) and A.S. Klusener (Steven)

January 1995
X Python reference manual Tech Report

K.S. Mullender (Sjoerd)

January 1995
A methodology for proving termination of general logic programs Tech Report

E. Marchiori

January 1995
A data model for autonomous objects Tech Report

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

January 1995
Multimedia synchronization Tech Report

M. Haindl

January 1995
An adaptive image reconstruction method Tech Report

M. Haindl

January 1995
Infinitary lambda calculus Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1995
Objects and classes, coalgebraically Tech Report

B.P.F. Jacobs

January 1995

Previous

Next