Publication

Semantics for OCCAM Tech Report

A. P. W. Eliëns (Anton)

Generation of interactive programming environments: GIPE Tech Report

A technique to design delay-insensitive VLSI circuits Tech Report

J.C. Ebergen (Jo)

Needed reduction and spine strategies for the lambda calculus Tech Report

H.P. Barendregt (Henk), J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

Small parameters in structured population models and the Trotter-Kato theorem Tech Report

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

Stabilization of the Lax-Wendroff methods and a generalized one-step Runge-Kutta method for hyperbolic initial-value problems Tech Report

E.D. de Goede (Erik)

NUMVEC FORTRAN library manual : chapter: simultaneous linear equations Tech Report

W. Hoffmann (Walter) and W.M. Lioen (Walter)

Minimizing the expected weighted number of tardy jobs in stochastic flow shops Tech Report

O.J. Boxma (Onno) and F.G. Forst