CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
Duality beyond sober spaces: topological spaces and observation frames In Proceedings
M.M. Bonsangue (Marcello), B.P.F. Jacobs and J.N. Kok (Joost)
January 1995 -
Delay equations Book
O. Diekmann (Odo), S.A. van Gils (Stephan), S.M. Verduyn Lunel (Sjoerd) and H.-O. Walther
January 1995