A Relative Dependency Pair Framework
arXiv:1208.1595
Abstract
In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.
5 pages, International Workshop on Termination 2012
arXiv:1208.1595
In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.
5 pages, International Workshop on Termination 2012