Publication

Comparing negation in logic programming and in Prolog Book Chapter

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

Systematic computations on Mertens' conjecture and Dirichlet's divisor problem by vectorized sieving Book Chapter

W.M. Lioen (Walter) and J. van de Lune (Jan)

One-dependent processes: two-block-factors and non-two-block-factors Book

V. de Valk

Iterative methods for non-linear partial differential equations Book

J.M.L. Maubach

A bottom-up semantics for constructive negation Tech Report

A. Bossi, M. Fabris and M.C. Meo

Construction of self-dual morphological operators and modifications of the median In Proceedings

H.J.A.M. Heijmans (Henk)

Adaptive spline-wavelet image encoding and real-time synthesis In Proceedings

P.C. Marais, E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

Nineteenth conference on the mathematics of operations research, and: Fifth international workshop Landelijk Netwerk Mathematische Besliskunde : Lunteren, 11-14.01.1994 : program and abstracts Booklet