Confluence of the disjoint union of conditional term rewriting systems

DOI10.1007/3-540-54317-1_99OpenAlexW1542488508MaRDI QIDQ5881285

Aart Middeldorp

Publication date: 9 March 2023

Published in: Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54317-1_99

zbMATH Keywords

rewrite systemlogic programdisjoint unionmodular propertyfunction symbol

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Combinations of simplifying conditional term rewriting systems, Local confluence of conditional and generalized term rewriting systems, Modularity of Confluence, On the confluence of lambda-calculus with conditional rewriting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular term rewriting systems and the termination
• Conditional rewrite rules
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Counterexamples to termination for the direct sum of term rewriting systems
• On termination of the direct sum of term-rewriting systems
• Conditional rewrite rules: Confluence and termination
• Modular aspects of properties of term rewriting systems related to normal forms
• Termination for the direct sum of left-linear term rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems