Publication

Stochastic geometry models in high-level vision Article

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

Declarative programming in prolog In Proceedings

K.R. Apt (Krzysztof)

Preface: Current Trents in logic programming languages (1993) Preface

K.R. Apt (Krzysztof), J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

Current Trents in logic programming languages Book

Review of "Computational logic, essays in honor of Alan Robinson" by Lassez, J. L. (ed.) and Plotkin, G. D. (ed.) Article

K.R. Apt (Krzysztof)

A nonparametric measure of spatial interaction in point patterns Tech Report

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

Termination proofs for higher-order rewrite systems In Proceedings

J.C. van de Pol (Jaco)

Numerical Methods for Advection-Diffusion Problems Book