university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    Extensionality of simply typed logic programs Tech Report

    M.A. Bezem

    January 1999
    open access
  • thumb

    $ 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
    open access
  • thumb

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

    E.H. van Brummelen (Harald)

    January 1999
    open access
  • thumb

    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
    open access
  • thumb

    Sequential buckling : a variational analysis Tech Report

    M.A. Peletier (Mark)

    January 1999
    open access
  • thumb

    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
    open access
  • thumb

    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
    open access
  • thumb

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

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

    January 1999
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close