Theoretical Computer Science, Volume 151

Volume 151, Number 1, 13 November 1995

Selected Papers of the Workshop on Topology and Completion in Semantics, Chartres, France, 18-20 November 1993

Volume 151, Number 2, 27 November 1995

Selected Papers of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, 15-17 December 1993
a service of Schloss Dagstuhl - Leibniz Center for Informatics