Publication

Introduction to logic programming (revised and extended version) Tech Report

K.R. Apt (Krzysztof)

Minimizing total completion time in the two-machine flow shop by Langrangian relaxation Tech Report

S.L. van de Velde

Modular specifications in process algebra : with curious queues Tech Report

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

A numerical study of three moving grid methods for one-dimensional partial differential equations which are based on the method of lines Tech Report

R.M. Furzeland, J.G. Verwer (Jan) and P.A. Zegeling (Paul)

Mark Kac seminar on probability and physics : syllabus : [seminar held during the academic year 1985-1987 at Amsterdam] Book

Lie manual draft, describing Lie version 2.0 Book

M.A.A. van Leeuwen (Marc), A.M. Cohen (Arjeh) and B. Lisser (Bert)

Fairness in parallel programs, the transformational approach Article

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

Analysis of Measuring System Parameters That Influence Reproducibility of Morphometric Assessments with a Graphic Tablet Article

J.C. Fleege, J.P.A. Baak and A.W.M. Smeulders (Arnold)