23 citations · 74 across the 18 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.…