2nd RTA 1987: Bordeaux, France

Refine list

showing all ?? records

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