23 citations · 74 across the 18 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.CC2012★ 4 cited
Polynomial Path Orders: A Maximal Model
Martin Avanzini, Georg Moser
This paper is concerned with the automated complexity analysis of term rewrite systems (TRSs for short) and the ramification of these in implicit computational complexity theory (I…
cs.CC2012★ 12 cited
A New Order-theoretic Characterisation of the Polytime Computable Functions
Martin Avanzini, Naohi Eguchi, Georg Moser
We propose a new order, the small polynomial path order (sPOP* for short). The order sPOP* provides a characterisation of the class of polynomial time computable function via term…