Theoretical Computer Science, Volume 173

Volume 173, Number 1, 20 February 1997

Principles and Practice of Constraint Programming, Selected Papers from CP 1995

Volume 173, Number 2, 28 February 1997

Algebraic Development Techniques
a service of Schloss Dagstuhl - Leibniz Center for Informatics