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

5. RTA 1993: Montreal, Canada

Claude Kirchner (Ed.): Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Lecture Notes in Computer Science 690 Springer 1993, ISBN 3-540-56868-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

System Description

Open Problems

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