Polynomial Path Orders and the Rules of Predicative Recursion with Parameter Substitution
>
Proceedings of the 10th Workshop on Termination, pages 16–20, 2009.>
>
>
Abstract
In this abstract we extend polynomial path orders with parameter substitution.
Categories
Term Rewriting, Complexity Analysis, ICC, Automation, Predicative Recursion