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