Theoretical Computer Science, Volume 183

Volume 183, Number 1, 30 August 1997

Volume 183, Number 2, 15 September 1997

Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95), 3-7 July 1995, Montreal, Canada