Centrum Wiskunde & Informatica

Retrospective creation of virtual alternative hierarchies Tech Report

J.L.H. Rogier (Jan) and D.B.M. Otten (Daan)

January 1990
An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
Transfinite reductions in orthogonal term rewriting systems (extended abstract) Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
Determiners Tech Report

D.J.N. van Eijck (Jan)

January 1990
Quantifiers Tech Report

D.J.N. van Eijck (Jan)

January 1990
Introduction to program verification Tech Report

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1990
The basic reproduction ratio for sexually transmitted diseases, part I: theoretical considerations Tech Report

O. Diekmann (Odo), K. Dietz and J.A.P. Heesterbeek (Hans)

January 1990
A proof of the relativized, non-metric form of Furstenberg's structure theorem Tech Report

J. de Vries (Jan)

January 1990

Previous

Next