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
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Schnabl, Andreas: Cdiprover3: A tool for proving derivational complexities of term rewriting systems (2010)