Centrum Wiskunde & Informatica

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.

S.N.M. Ruijsenaars (Simon)

January 1995
Transformation and analysis of (constraint) logic programs Dissertation

Networks and Optimization

S. Etalle (Sandro)

January 1995
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi In Proceedings

C. Hermida and B.P.F. Jacobs

January 1995
Structured adaptive finite-volume multigrid for compressible flows In Proceedings

H.T.M. van der Maarel (Eric) and P.W. Hemker (Piet)

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.

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

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

Previous

Next