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

2. RTA 1987: Bordeaux, France

Pierre Lescanne (Ed.): Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings. Lecture Notes in Computer Science 256 Springer 1987, ISBN 3-540-17220-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lecture

Implementation

Termination

Theoretical Aspects 1

Families of Rewriting Systems

Code Generation

Theoretical Aspects 2

Confluence

Completion

Unification

Unification by Narrowing

Efficiency of Rewriting

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