Contents of the Proceedings of the
2nd International Conference on Rewriting Techniques and Applications.
Bordeaux, France, May 25-27, 1987.
Lecture Notes in Computer Science, Vol. 256, Springer Verlag.

Editor: Pierre Lescanne.

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