Completeness of combinations of conditional constructor systems

DOI10.1007/3-540-56393-8_6OpenAlexW1600390200MaRDI QIDQ5881177

Aart Middeldorp

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_6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Counterexamples to termination for the direct sum of term rewriting systems
• On termination of the direct sum of term-rewriting systems
• Termination for the direct sum of left-linear term rewriting systems
• Completeness of combinations of constructor systems
• On the Church-Rosser property for the direct sum of term rewriting systems
• Combinations of simplifying conditional term rewriting systems
• Sufficient conditions for modular termination of conditional term rewriting systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness of combinations of conditional constructor systems