Similar Items: Modular Complexity Analysis for Term Rewriting
- From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
- Complexity of Conditional Term Rewriting
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting
- Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
- Complexity Hierarchies and Higher-order Cons-free Term Rewriting
- Partial Order Infinitary Term Rewriting