8. RTA 1997: Sitges, Spain

Invited Talk

Session 1: Theorem Proving and Rewriting

Session 2: String Rewriting

Session 3: Rewriting in Algebraic Theories

Session 4: Termination

Session 5: Confluence and Termination

Invited Talk

Session 6: Logic and Rewriting

Session 7: Unification and Constraint Solving

Session 8: Higher-Order Rewriting

System Descriptions