The Hierarchy of Dependency Pairs
| Author(s) : | Yoshihito Toyama Keiichirou Kusakari Keiichirou Kusakari Yoshihito Toyama, |
| Publisher : | N/A |
| Publication Date : | 1999 |
| ISSN : | N/A |
| Abstract : | abstract: Recently, dependency pairs have greatly extended the provable class of terminating of term rewriting systems. The set of dependency pairs itself makes a term rewriting system. However, a term rewriting system and its dependency pairs do not accurately agree on the termination property. In this paper, we study the relation for the termination property between a term rewriting system, the set of its dependency pairs and the union of them. 1, |