A New Term Rewriting Characterisation of ETIME functions
>
Proceedings of the 5th International Workshop on Developments in Implicit Complexity, 2014.>
>
>
Abstract
In this abstract we sketch a path order that characterises ETIME.
Categories
Term Rewriting, Complexity Analysis, ICC, Automation, Predicative Recursion