CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Proving Concurrent Constraint Programs Correct Article
ACM Transactions on Programming Languages and Systems, 19(5)January 1997 -
January 1997
-
Finite volume multigrid for 3D-problems Article
Euler and Navier-Stokes solvers using multi-dimensional upwind schemes and multigrid acceleration Volume 57 of Notes on numerical fluid mechanics, (H. Deconinck; B. Koren eds., 485-509.January 1997
-
Multigrid for steady gas dynamics problems Book Chapter
P.W. Hemker (Piet), B. Koren (Barry), W.M. Lioen (Walter), M. Nool (Margreet) and H.T.M. van der Maarel (Eric)
January 1997
-
Semi-coarsening in three directions for Euler-flow computations in three dimensions. Book Chapter
B. Koren (Barry), P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)
January 1997
-
January 1997
-
Search and imperative programming In Proceedings
January 1997
-
January 1997