Publication

A methodology for proving termination of general logic programs In Proceedings

E. Marchiori

Uniformly-distributed random generation of join orders In Proceedings

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

One-third-integrality in the metric polytope Article

M. Laurent (Monique) and S. Poljak

Vakantiecursus 1995 : kegelsneden en kwadratische vormen Book

Literate programming in C : CWEBx manual Tech Report

M.A.A. van Leeuwen (Marc)

A mechanistic model to describe the spread of phocid distemper virus Tech Report

A.A. de Koeijer, O. Diekmann (Odo) and P.J.H. Reijnders

Filosofische aspecten van machinaal leren [Philosophical aspects of machine learning] Tech Report

H.A.N. van Maanen

On the identification of Wiener-Hopf factors Tech Report

N. Bayer