Derivational Complexity Is an Invariant Cost Model

  title={Derivational Complexity Is an Invariant Cost Model},
  author={Ugo Dal Lago and Simone Martini},
We show that in the context of orthogonal term rewriting systems, derivational complexity is an invariant cost model, both in innermost and in outermost reduction. This has some interesting consequences for (asymptotic) complexity analysis, since many existing methodologies only guarantee bounded derivational complexity. 
Highly Cited
This paper has 32 citations. REVIEW CITATIONS