3. CTRS 1992: Pont-à-Mousson, France

Typed Systems and Graph Rewriting

Modularity and Termination

Proof Techniques and Extensions of Conditional Rewriting

Theorem-Proving and Normal Form Languages

Applications of Conditional Rewriting and New Formalisms

Contextual Rewriting and Constrained Rewriting

Aplications to Logic Programming, Normalization Strategies and Unification

Acknowledgement: the information on this page was provided by Uwe Waldmann