Centrum Wiskunde & Informatica

Proving termination of parallel programs Tech Report

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

January 1990
Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond Tech Report

J.W. Klop (Jan Willem)

January 1990
Computing boolean functions on anonymous networks Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and J. van den Berg (Rob)

January 1990
Acyclic programs : extended abstract Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

January 1990
Spurious entropy generation in a non-smooth geometry Tech Report

H.T.M. van der Maarel (Eric) and B. Koren (Barry)

January 1990
Defect correction and nonlinear multigrid for steady Euler equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

January 1990
Systematic computations on Gauss' lattice point problem : in commemoration of Johannes Gualtherus van der Corput, 1890-1975 Tech Report

J. van de Lune (Jan) and E. Wattel (Evert)

January 1990
The center manifold for delay equations in the light of suns and stars Tech Report

O. Diekmann (Odo) and S.A. van Gils (Stephan)

January 1990

Previous

Next