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