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

7. RTA 1996: New Brunswick, NJ, USA

Harald Ganzinger (Ed.): Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Lecture Notes in Computer Science 1103 Springer 1996, ISBN 3-540-61464-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Regular Papers

System Descriptions

Last update Sun May 19 23:30:58 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page