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

3. RTA 1989: Chapel Hill, North Carolina, USA

Nachum Dershowitz (Ed.): Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. Lecture Notes in Computer Science 355 Springer 1989, ISBN 3-540-51081-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lecture

Regular Papers

System Descriptions

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