12 citations · 17 across the 11 of their papers we have counts for
1 paper · 2 filters
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…