Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria (2002)
by
Kusakari Keiichirou
,
Claude Marché
,
Xavier Urbain
BibTeX
@MISC{Keiichirou02terminationof,
author = {Kusakari Keiichirou and Claude Marché and Xavier Urbain},
title = {Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In 1997, Arts and Giesl proposed new criteria for proving termination of rewriting, based on the so-called dependency pairs. We show how these criteria can be generalized to rewriting modulo associativity and commutativity.
