Similar Items: Partial Order Infinitary Term Rewriting
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting
- Complexity Hierarchies and Higher-order Cons-free Term Rewriting
- Complexity of Conditional Term Rewriting
- Modular Complexity Analysis for Term Rewriting