Centrum Wiskunde & Informatica

Extending modal logic Dissertation

M. de Rijke (Maarten)

December 1993
Models and axioms for a fragment of real time process algebra Dissertation

A.S. Klusener (Steven)

December 1993
Aspects of algorithms and complexity Dissertation

Quantum Computing and Advanced System Research

J.T. Tromp (John)

December 1993
A note on splitting errors for advection-reaction equations Tech Report

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1994
Knowledge abstraction using heuristic search Tech Report

D. Riaño

January 1994
Comparing negation in logic programming and in Prolog Tech Report

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1994
Origin tracking in primitive recursive schemes Tech Report

A. van Deursen (Arie)

January 1994
Some uses of constructive negation for classical problems in non-monotonic reasoning Tech Report

E. Marchiori

January 1994

Previous

Next