Centrum Wiskunde & Informatica

A proof procedure for extended logic programs Tech Report

F. J. M. Teusink (Frank)

January 1993
Reasoning about Prolog programs: from modes through types to assertions Tech Report

K.R. Apt (Krzysztof) and E. Marchiori

January 1993
Simultaneous replacement in normal programs Tech Report

A. Bossi, N. Cocco and S. Etalle (Sandro)

January 1993
Comparing curried and uncurried rewriting Tech Report

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

January 1993
Perpetual reductions in orthogonal combinatory reduction systems Tech Report

Z. Khasidashvili

January 1993
Event structures and orthognal term graph rewriting Tech Report

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

January 1993
Kaplan-Meier estimators of interpoint distance distributions for spatial point processes Tech Report

A.J. Baddeley (Adrian) and R.D. Gill (Richard)

January 1993
On interpolating random fields using a finite number of observations Tech Report

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

January 1993

Previous

Next