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
maintained by Schloss Dagstuhl LZI, founded at University of Trier