Modular aspects of properties of term rewriting systems related to normal forms

DOI10.1007/3-540-51081-8_113zbMath1503.68137OpenAlexW1600655341MaRDI QIDQ5055726

Aart Middeldorp

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51081-8_113

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (15)

Decidability of reachability for disjoint union of term rewriting systems ⋮ Confluence of the disjoint union of conditional term rewriting systems ⋮ Adding algebraic rewriting to the untyped lambda calculus (extended abstract) ⋮ Open problems in rewriting ⋮ Problems in rewriting III ⋮ On modularity in term rewriting and narrowing ⋮ Modularity in term rewriting revisited ⋮ Modular term rewriting systems and the termination ⋮ Modularity of Confluence ⋮ Modularity in noncopying term rewriting ⋮ The variable containment problem ⋮ Modularity of simple termination of term rewriting systems with shared constructors ⋮ Adding algebraic rewriting to the untyped lambda calculus ⋮ On modularity in infinitary term rewriting ⋮ Completeness of combinations of constructor systems

Cites Work

• Counterexamples to termination for the direct sum of term rewriting systems
• On termination of the direct sum of term-rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems

This page was built for publication: Modular aspects of properties of term rewriting systems related to normal forms