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