Theoretical Computer Science, Volume 126

Volume 126, Number 1, 11 April 1994

Selected Papers of the Seventeenth Colloquium on Trees in Algebra and Programming (CAAP'92) and of the European Symposium on Programming (ESOP'92)

Volume 126, Number 2, 25 April 1994