A set of algorithms for the incomplete gamma functions Article

N.M. Temme (Nico)

Programmverifikation: Sequentielle, parallele und verteilte programme Book

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

From universal morphisms to megabytes: A Baayen space odyssey Book

Discrete approximation of parabolic PDE's with a discontinuous initial condition Article

P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

Approximation methods for n-component solute transport and ion-exchange Article

P.M.C. Thoolen and P.W. Hemker (Piet)

A new definition of SLDNF-resolution Article

K.R. Apt (Krzysztof) and K. Doets

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