Complexity of Conditional Term Rewriting
Logic in Computer Science
2019-03-14 v6
Abstract
We propose a notion of complexity for oriented conditional term rewrite systems satisfying certain restrictions. This notion is realistic in the sense that it measures not only successful computations, but also partial computations that result in a failed rule application. A transformation to unconditional context-sensitive rewrite systems is presented which reflects this complexity notion, as well as a technique to derive runtime and derivational complexity bounds for the result of this transformation.
Cite
@article{arxiv.1510.07276,
title = {Complexity of Conditional Term Rewriting},
author = {Cynthia Kop and Aart Middeldorp and Thomas Sternagel},
journal= {arXiv preprint arXiv:1510.07276},
year = {2019}
}
Comments
This is an extended and improved version of "Conditional Complexity" as published in the proceedings of RTA 2015. It has been submitted for journal publication in LMCS