A proof theoretic view of constraint programming Article

K.R. Apt (Krzysztof)

Special Issue: Foundations of Constraint Programming Book

Let's talk about it: Dialogues with multimedia databases. Database support for human activity Article

A.P. de Vries (Arjen), G.C. van der Veer and H.M. Blanken

Formal requirements specification for command and control systems In Proceedings

J.C. van de Pol (Jaco), J. Hooman and E. de Jong (Edwin)

Operational semantics of rewriting with priorities Article

J.C. van de Pol (Jaco)

Size-biased random closed sets Book Chapter

M.N.M. van Lieshout (Marie-Colette)

A comparative study on the power of Van Lieshout and Baddeley's J-function Tech Report

E. Thönnes (Elke) and M.N.M. van Lieshout (Marie-Colette)

A note on stability of the Douglas splitting method Article

W. Hundsdorfer (Willem)