Polynomial Path Orders and the Rules of Predicative Recursion with Parameter Substitution
11th Workshop on Termination (WST), 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