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 BibTeX
@proceedings{DBLP:conf/rta/1997,
editor = {Hubert Comon},
title = {Rewriting Techniques and Applications, 8th International Conference,
RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
booktitle = {RTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1232},
year = {1997},
isbn = {3-540-62950-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
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 © Sat May 16 23:36:09 2009
by Michael Ley (ley@uni-trier.de)
