Publication

Transfinite reductions in orthogonal term rewriting systems In Proceedings

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

Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool Dissertation

F.S. de Boer (Frank)

Onderzoekscholen wiskunde : interimrapport van de Strategiecommissie Onderzoekscholen Wiskunde, 17 mei 1991 Miscellaneous

Implementation of modular algebraic specifications Dissertation

P.R.H. Hendriks

Video CWI sportdag t.g.v. het 45-jarig jubileum, 31-05-1991 Online Video

Programma Zeskamp sport aktiviteiten t.g.v. het 45-jarig bestaan van de SMC : sportdag, 31.05.1991 Booklet

Introduction to the special issue on database research Article

M.L. Kersten (Martin)

Engineering a main-memory DBMS Article

C.A. van den Berg (Carel) and M.L. Kersten (Martin)