On modularity in infinitary term rewriting

DOI10.1016/j.ic.2006.02.005zbMath1104.68057OpenAlexW2150480744MaRDI QIDQ2496298

Jakob Grue Simonsen

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

zbMATH Keywords

strong convergencenormalizationconfluenceterm rewritingmodularityinfinitary rewritingChurch-Rosser property

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Modularity in term rewriting revisited, Infinitary combinatory reduction systems, Modularity of Convergence in Infinitary Rewriting

Uses Software

• Haskell

Cites Work

• 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
• 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