Confluence of the disjoint union of conditional term rewriting systems

DOI10.1007/3-540-54317-1_99MaRDI QIDQ5881285zbMATH OpenOpenAlexFDO

Authors 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

disjoint unionfunction symbollogic programmodular propertyrewrite system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Confluence of terminating conditional rewrite systems revisited
• Some results on the confluence property of combined term rewriting systems
• On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
• Conditions for confluence of innermost terminating term rewriting systems
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Shallow confluence of conditional term rewriting systems
• scientific article; zbMATH DE number 4090848
• A class of confluent term rewriting systems and unification
• scientific article; zbMATH DE number 4092756
• Decidability of reachability for disjoint union of term rewriting systems

Cites work

• Conditional rewrite rules
• Conditional rewrite rules: Confluence and termination
• Counterexamples to termination for the direct sum of term rewriting systems
• scientific article; zbMATH DE number 4180808 (Why is no real title available?)
• scientific article; zbMATH DE number 4191131 (Why is no real title available?)
• scientific article; zbMATH DE number 3921957 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 4090848 (Why is no real title available?)
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• Modular aspects of properties of term rewriting systems related to normal forms
• Modular term rewriting systems and the termination
• On termination of the direct sum of term-rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Termination for the direct sum of left-linear term rewriting systems

Cited in

(12)

• Conditions for confluence of innermost terminating term rewriting systems
• Modularity of Confluence
• scientific article; zbMATH DE number 4090848 (Why is no real title available?)
• scientific article; zbMATH DE number 2043517 (Why is no real title available?)
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides
• Confluence of terminating conditional rewrite systems revisited
• scientific article; zbMATH DE number 7204433 (Why is no real title available?)
• Combinations of simplifying conditional term rewriting systems
• Local confluence of conditional and generalized term rewriting systems
• On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
• Factorize factorization
• On the confluence of lambda-calculus with conditional rewriting

This page was built for publication: Confluence of the disjoint union of conditional term rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5881285)