dblp.uni-trier.de www.uni-trier.de

8. RTA 1997: Sitges, Spain

Hubert Comon (Ed.): Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings. Lecture Notes in Computer Science 1232 Springer 1997, ISBN 3-540-62950-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Copyright © Mon Nov 2 21:06:53 2009 by Michael Ley (ley@uni-trier.de)