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

Theoretical Computer Science, Volume 142

Volume 142, Number 1, 1 May 1995

Selected Papers from PLILP 1991

Volume 142, Number 2, 15 May 1995

Selected Papers of the 5th International Conference on Rewriting Techniques and Applications, Monreal, Canada, June 1993

Copyright © Mon Nov 2 21:56:00 2009 by Michael Ley (ley@uni-trier.de)