Publication

KdV '95 : proceedings of the international symposium held in Amsterdam, The Netherlands, 23-26.04.1995 Book

Third Siberian School Algebra and Analysis Book

Y.G. Reshetnyak (Yurii)

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

Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings

K.R. Apt (Krzysztof)