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