most citedA Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CC2010★ 1 cited

A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)

Martin Avanzini, Naohi Eguchi, Georg Moser

In this paper we present a new path order for rewrite systems, the exponential path order EPOSTAR. Suppose a term rewrite system is compatible with EPOSTAR, then the runtime comple…