dblp.uni-trier.de www.uni-trier.de

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

Copyright © Fri Mar 12 17:33:07 2010 by Michael Ley (ley@uni-trier.de)