Theoretical Computer Science, Volume 112

Volume 112, Number 1, 1993

Selected Papers of the International Conference on Algebraic Methodology and Software Technology (AMAST'91), Iowa City, IA, USA, May 21-25, 1991

Volume 112, Number 2, 1993

maintained by Schloss Dagstuhl LZI at University of Trier