Centrum Wiskunde & Informatica

Extensionality of simply typed logic programs Tech Report

M.A. Bezem

January 1999
$ Omega $ -storage : a self organizing multi-attribute storage technique for very large main memories Tech Report

J.S. Karlsson (Jonas) and M.L. Kersten (Martin)

January 1999
Analysis of the incompressible Navier-Stokes equations with a quasi free-surface condition Tech Report

E.H. van Brummelen (Harald)

January 1999
A zooming technique for wind transport of air pollution Tech Report

P.J.F. Berkvens (Patrick), M.A. Botchev, W.M. Lioen (Walter) and J.G. Verwer (Jan)

January 1999
Sequential buckling : a variational analysis Tech Report

M.A. Peletier (Mark)

January 1999
The Maxwell stability criterion in pseudo-energy models of kink banding Tech Report

G.W. Hunt, M.A. Peletier (Mark) and M. Ahmer Wadee

January 1999
HASDF : a generalized LR-parser generator for Haskell Tech Report

M. de Jonge (Merijn), T. Kuipers (Tobias) and J.M.W. Visser (Joost)

January 1999
Automata, power series, and coinduction : taking input derivatives seriously (extended abstract) Tech Report

J.J.M.M. Rutten (Jan)

January 1999

Previous

Next