CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Condition improvement for point relaxation in multigrid, subsonic Euler-flow computations Article
Applied Numerical Mathematics, 16(4), 457-469.January 1995
-
January 1995
-
Action-angle Maps and Scattering Theory for Some Finite-dimensional Integrable Systems III. Sutherland Type Systems and their Duals Article
Publications of the Research Institute for Mathematical Sciences, 31(2), 247-353.January 1995 -
Transformation and analysis of (constraint) logic programs Dissertation
Networks and OptimizationJanuary 1995 -
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi In Proceedings
January 1995 -
January 1995
-
Termination for direct sums of left-linear complete term rewriting systems Article
Journal of the Association for Computing Machinery, 42(6), 1275-1304.Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)
January 1995 -
Forward and backward simulations I. Untimed systems Article
Information and Computation, 121(2), 214-233.January 1995