Similar Items: Complexity Hierarchies and Higher-order Cons-free Term Rewriting
- Complexity of Conditional Term Rewriting
- Partial Order Infinitary Term Rewriting
- Modular Complexity Analysis for Term Rewriting
- From nominal to higher-order rewriting and back again
- Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting