Sufficient conditions for modular termination of conditional term rewriting systems

DOI10.1007/3-540-56393-8_9OpenAlexW1578181970MaRDI QIDQ5881180

Bernhard Gramlich

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_9

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

On the modularity of termination of term rewriting systems ⋮ The theory of vaccines ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Modularity in term rewriting revisited ⋮ On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems ⋮ Completeness of combinations of conditional constructor systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orderings for term-rewriting systems
• A rationale for conditional equational programming
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• On termination of the direct sum of term-rewriting systems
• Termination for the direct sum of left-linear term rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems

This page was built for publication: Sufficient conditions for modular termination of conditional term rewriting systems