On modularity in infinitary term rewriting
From MaRDI portal
Publication:2496298
DOI10.1016/J.IC.2006.02.005zbMath1104.68057OpenAlexW2150480744MaRDI QIDQ2496298
Publication date: 12 July 2006
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2006.02.005
strong convergencenormalizationconfluenceterm rewritingmodularityinfinitary rewritingChurch-Rosser property
Related Items (3)
Modularity in term rewriting revisited ⋮ Infinitary combinatory reduction systems ⋮ Modularity of Convergence in Infinitary Rewriting
Uses Software
Cites Work
- Modular termination of \(r\)-consistent and left-linear term rewriting systems
- On the modularity of normal forms in rewriting
- Modular properties of conditional term rewriting systems
- Modular term rewriting systems and the termination
- Counterexamples to termination for the direct sum of term rewriting systems
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
- Infinite \(\lambda\)-calculus and types
- Modularity of confluence: A simplified proof
- Infinitary lambda calculus
- Transfinite reductions in orthogonal term rewriting systems
- Modular properties of composable term rewriting systems
- On confluence and residuals in Cauchy convergent transfinite rewriting
- Modular aspects of properties of term rewriting systems related to normal forms
- On the Church-Rosser property for the direct sum of term rewriting systems
- Rewriting Techniques and Applications
- Rewriting Techniques and Applications
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On modularity in infinitary term rewriting