2. RTA 1987: Bordeaux, France

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