cl-banner

A Relative Dependency Pair Framework

Christian Sternagel and René Thiemann

Proceedings of the 13th International Workshop on Termination (WST 2012), pp. 79 – 83, 2012.

Abstract

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

 

  PDF |   arXiv

BibTeX 

@inproceedings{CSRT-WST12,
author = "Christian Sternagel and Ren{\'e} Thiemann ",
title = "A Relative Dependency Pair Framework",
booktitle = "Proceedings of the 13th International Workshop on Termination",
pages = "79--83",
year = 2012
}
Nach oben scrollen