Similar Items: Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
- Partial Order Infinitary Term Rewriting
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting
- Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
- Infinitary Combinatory Reduction Systems: Confluence
- Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity