A Relative Dependency Pair Framework
Logic in Computer Science
2012-08-09 v1
Abstract
In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.
Cite
@article{arxiv.1208.1595,
title = {A Relative Dependency Pair Framework},
author = {Christian Sternagel and René Thiemann},
journal= {arXiv preprint arXiv:1208.1595},
year = {2012}
}
Comments
5 pages, International Workshop on Termination 2012