Publication

On the occur-check free prolog programs Article

K.R. Apt (Krzysztof) and A. Pellegrini

Logic programming and negation: a survey Article

K.R. Apt (Krzysztof) and R.N. Bol

Reasoning about prolog programs: from modes through types to assertions Article

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

Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics In Proceedings

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

Modular termination proofs for logic and pure prolog programs Book Chapter

K.R. Apt (Krzysztof) and D. Pedreschi

Schouten beschouwd Book

Stochastic annealing for nearest-neighbour point processes with application to object recognition Article

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

Discussion contribution to U. Grenander and M.I. Miller: Representations of knowledge in complex systems Article

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