A New Path Order for Exponential Time
Proceedings of the 11th Workshop on Termination, 2010.
Abstract
In this abstract we first introduced the exponential path order.
Categories
Term Rewriting, Complexity Analysis, ICC, Automation, Predicative Recursion