2nd 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics