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

Editorial: From universal morphisms to megabytes: a Baayen space odyssey Book Chapter

Some problems in applied algebra Book Chapter

M. Hazewinkel (Michiel)

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)