33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Georg Moser, Manuel Schneckenreither
In this paper we establish an automated amortised resource analysis for term rewrite systems. The method is presented in an annotated type system and gives rise to polynomial bound…