A Collection of Examples for Termination of Term Rewriting Using Dependency Pairs (2001)
by
Thomas Arts
,
Jürgen Giesl
| Citations: | 27 - 12 self |
BibTeX
@MISC{Arts01acollection,
author = {Thomas Arts and Jürgen Giesl},
title = {A Collection of Examples for Termination of Term Rewriting Using Dependency Pairs},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This report contains a collection of examples to demonstrate the use and the power of the dependency pair technique developed by Arts and Giesl. This technique allows automated termination and innermost termination proofs for many term rewrite systems for which such proofs were not possible before.
