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

12. RTA 2001: Utrecht, The Netherlands

Aart Middeldorp (Ed.): Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings. Lecture Notes in Computer Science 2051 Springer 2001, ISBN 3-540-42117-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Regular Papers

System Descriptions

Last update Thu May 23 17:53:25 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