home > publications > AE:DICE:14

A New Term Rewriting Characterisation of ETIME functions

A New Term Rewriting Characterisation of ETIME functions
M. Avanzini and N. Eguchi
5th International Workshop on Developments in Implicit Complexity (DICE), (2014).

Abstract

In this abstract we sketch a path order that characterises ETIME.

Categories

, , , ,