Combinations of simplifying conditional term rewriting systems

DOI10.1007/3-540-56393-8_8OpenAlexW1855803369MaRDI QIDQ5881179

Enno Ohlebusch

Publication date: 9 March 2023

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

On the modularity of termination of term rewriting systems, Modularity in term rewriting revisited, Completeness of combinations of conditional constructor systems

Cites Work

• Orderings for term-rewriting systems
• 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
• Extensions and comparison of simplification orderings
• On the Church-Rosser property for the direct sum of term rewriting systems
• Confluence of the disjoint union of conditional term rewriting systems
• Unnamed Item
• Unnamed Item
• Unnamed Item