Publication

Value constraints in the CLP scheme Tech Report

M.H. van Emden

A complete transformational toolkit for compilers Tech Report

J.A. Bergstra (Jan), T.B. Dinesh, J. Field and J. Heering (Jan)

Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC] Miscellaneous

Proceedings seminar 1989-1990 mathematical structures in field theories Book

Experiences with sparse matrix solvers in parallel ODE software Article

J.J.B. de Swart (Jacques) and J.G. Blom (Joke)

VLUGR3 Software

J.G. Blom (Joke)

Asymptotic behaviour of solutions of a nonlinear transport equation Tech Report

C.J. van Duijn (Hans) and M.A. Peletier (Mark)

Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters Article

N.M. Temme (Nico)