Similar Items: Complexity of Conditional Term Rewriting
- Modular Complexity Analysis for Term 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
- From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
- Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
- Modes of Convergence for Term Graph Rewriting