33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Martin Avanzini, Georg Moser
In this paper we present a combination framework for polynomial complexity analysis of term rewrite systems. The framework covers both derivational and runtime complexity analysis.…