Sciweavers

ESSLLI
2009
Springer

Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems

13 years 7 months ago
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdiprover3 induce small bounds on the derivational complexity of the considered system. We explain the tool in detail, and give an overview of the employed proof methods.
Andreas Schnabl
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where ESSLLI
Authors Andreas Schnabl
Comments (0)