Small Polynomial Path Orders in TcT
>
Proceedings of the 12th Workshop on Termination, pages 3–7, 2013.>
>
>
Abstract
In this abstract we comment on the combination of small polynomial path orders and weak dependency pairs.
Categories
Term Rewriting, Complexity Analysis, Predicative Recursion, Automation