A Relative Dependency Pair Framework

arxiv: 1208.1595 · v1 · pith:TC7WIJEOnew · submitted 2012-08-08 · 💻 cs.LO

Christian Sternagel , Ren\'e Thiemann This is my paper

classification 💻 cs.LO

keywords frameworkrelativecalleddependencygeneralizepairpossiblesplit

0 comments

read the original abstract

In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.

This paper has not been read by Pith yet.