LIPIcs.RTA.2015.223.pdf
- Filesize: 0.56 MB
- 18 pages
We propose a notion of complexity for oriented conditional term rewrite systems. 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 latter.
Feedback for Dagstuhl Publishing