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