Termination of Associative-Commutative Rewriting by Dependency Pairs (1998)
by
Claude Marche
,
Xavier Urbain
| Venue: | 9th International Conference on Rewriting Techniques and Applications, volume 1379 of Lecture |
| Citations: | 14 - 1 self |
BibTeX
@INPROCEEDINGS{Marche98terminationof,
author = {Claude Marche and Xavier Urbain},
title = {Termination of Associative-Commutative Rewriting by Dependency Pairs},
booktitle = {9th International Conference on Rewriting Techniques and Applications, volume 1379 of Lecture},
year = {1998},
pages = {241--255}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A new criterion for termination of rewriting has been described by Arts and Giesl in 1997. We show how this criterion can be generalized to rewriting modulo associativity and commutativity. We also show how one can build weak AC-compatible reduction orderings which may be used in this criterion.
