Similar Items: Modularity of Convergence and Strong Convergence in Infinitary Rewriting
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Modes of Convergence for Term Graph Rewriting
- Partial Order Infinitary Term Rewriting
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
- Modular Complexity Analysis for Term Rewriting
- Topological Scott Convergence Theorem