Modularity of confluence: A simplified proof

DOI10.1016/0020-0190(94)90034-5zbMath0795.68111OpenAlexW2045722392MaRDI QIDQ1318777

Yoshihito Toyama, Jan Willem Klop, Roel de Vrijer, Aart Middeldorp

Publication date: 4 April 1994

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)90034-5

zbMATH Keywords

confluenceterm rewritingmodularity

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Compositional term rewriting: An algebraic proof of Toyama's theorem ⋮ Bubbles in modularity ⋮ Layer Systems for Proving Confluence ⋮ Modularity in term rewriting revisited ⋮ From diagrammatic confluence to modularity ⋮ Modularity of Confluence ⋮ On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems ⋮ On modularity in infinitary term rewriting

Cites Work

• Unnamed Item
• Unnamed Item
• Polymorphic rewriting conserves algebraic strong normalization
• Polymorphic rewriting conserves algebraic confluence
• Proving termination with multiset orderings
• On the Church-Rosser property for the direct sum of term rewriting systems

This page was built for publication: Modularity of confluence: A simplified proof