CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A comparison between direct and iterative methods to solve the linear systems arising from a time-dependent 2D groundwater flow model Tech Report
J.G. Blom (Joke), J.G. Verwer (Jan) and R.A. Trompert (Ronald)
January 1992
-
January 1992
-
January 1992
-
A theory of first-order built-in's of Prolog Tech Report
K.R. Apt (Krzysztof), E. Marchiori and C. Palamidessi (Catuscia)
January 1992
-
Packing odd paths Tech Report
January 1992
-
January 1992
-
More examples in Manifold Tech Report
January 1992 -
A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Tech Report
January 1992