Publication

Third Siberian School Algebra and Analysis Book

Y.G. Reshetnyak (Yurii)

Analysis of preconditioning and multigrid for Euler flows with low-subsonic regions Article

B. Koren (Barry) and B. van Leer

Convergence analysis of the defect-correction iteration for hyperbolic problems Article

J.-A. Désidéri and P.W. Hemker (Piet)

Symmetry, Yang-Baxter equation, quantum groups, and link invariants Tech Report

M. Hazewinkel (Michiel)

Program verification and Prolog Book Chapter

K.R. Apt (Krzysztof)

Handbook of algebra Book

Index : Theoretical computer science 1995 Article

M. Hazewinkel (Michiel) and S. van Dongen

Verification of logic programs with delay declarations In Proceedings

K.R. Apt (Krzysztof) and I. Luitjes