Confluence of terminating conditional rewrite systems revisited

DOI10.1007/3-540-61464-8_56zbMath1503.68113OpenAlexW1559627622MaRDI QIDQ5055864

Claus-Peter Wirth, Bernhard Gramlich

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Conditional rewrite rules
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• Critical pair criteria for completion
• Conditional rewrite rules: Confluence and termination
• A constructor-based approach to positive/negative-conditional equational specifications
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides
• Confluence without termination via parallel critical pairs

This page was built for publication: Confluence of terminating conditional rewrite systems revisited