Centrum Wiskunde & Informatica

Action transducers and timed automata Tech Report

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

January 1994
The impact of catalogs and join algorithms on probabilistic query optimization Tech Report

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

January 1994
A trying C++ experience (Why COMPARE dropped C++) Tech Report

T.B. Dinesh

January 1994
A Lindström theorem for modal logic Tech Report

M. de Rijke (Maarten)

January 1994
Off-line cash transfer by smart cards Tech Report

S.A. Brands (Stefan)

January 1994
More (on) unification-free Prolog programs Tech Report

S. Etalle (Sandro)

January 1994
Generic techniques for source-level debugging and dynamic program slicing Tech Report

F. Tip (Frank)

January 1994
A limit theorem for scaled vacancies of the Boolean model Tech Report

I.S. Molchanov (Ilya)

January 1994

Previous

Next