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

    Typed generic traversals in $S_gamma^'$ Tech Report

    R. Lämmel (Ralf)

    January 2001
    open access
  • thumb

    Elements of stream calculus : an extensive exercise in coinduction Tech Report

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

    January 2001
    open access
  • thumb

    Partial $ au$-confluence for efficient state space generation Tech Report

    S.C.C. Blom (Stefan)

    January 2001
    open access
  • thumb

    Typed combinators for generic traversal Tech Report

    R. Lämmel (Ralf) and J. Vonk

    January 2001
    open access
  • thumb

    Disambiguation filters for scannerless generalized LR parsers Tech Report

    M.G.J. van den Brand (Mark), J. Scheerder, J.J. Vinju (Jurgen) and E. Visser (Eelco)

    January 2001
    open access
  • thumb

    Riemann-problem and level-set approaches for two-fluid flow computations I. Linearized Godunov scheme Tech Report

    B. Koren (Barry), M.R. Lewis (Mervyn), E.H. van Brummelen (Harald) and B. van Leer

    January 2001
    open access
  • thumb

    Conservation properties of smoothed particle hydrodynamics applied to the shallow water equations Tech Report

    J.E. Frank (Jason) and S. Reich

    January 2001
    open access
  • thumb

    A comparison of operator splitting and approximate matrix factorization for the shallow water equations in spherical geometry Tech Report

    D. Lanser (Debby)

    January 2001
    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