Similar Items: Termination of Cycle Rewriting by Transformation and Matrix Interpretation
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms
- Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
- Transforming Outermost into Context-Sensitive Rewriting
- A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
- From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity