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