Synthese, Volume 104

Volume 104, Number 1, July 1995

Volume 104, Number 2, August 1995

Volume 104, Number 3, September 1995

a service of Schloss Dagstuhl - Leibniz Center for Informatics