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
a service of Schloss Dagstuhl - Leibniz Center for Informatics