17 citations · 17 across the 1 of their papers we have counts for
1 paper
Harald Zankl, Martin Korp
All current investigations to analyze the derivational complexity of term rewrite systems are based on a single termination method, possibly preceded by transformations. However, t…