33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Martin Avanzini, Georg Moser
This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit computational complexity. We introduce a path order with m…