Publication

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)

Termination proofs for higher-order rewrite systems In Proceedings

J.C. van de Pol (Jaco)

Numerical Methods for Advection-Diffusion Problems Book

An approximate solution of the parallel whistler-mode dispersion equation in a weakly relativistic plasma Article

S.S. Sazhin, A.E. Sumner, N.M. Temme (Nico) and F. Gugic

Covergence behaviour of defect correction for hyperbolic equations Article

P.W. Hemker (Piet) and J.-A. Désidéri