Modularity of completeness revisited

DOI10.1007/3-540-59200-8_43OpenAlexW1553326394MaRDI QIDQ5055813

Massimo Marchiori

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-59200-8_43

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

Fine-grained concurrent completion ⋮ Modular proofs for completeness of hierarchical term rewriting systems ⋮ The theory of vaccines ⋮ Bubbles in modularity ⋮ Modularity in term rewriting revisited ⋮ Modular termination of \(r\)-consistent and left-linear term rewriting systems

Cites Work

• Termination for direct sums of left-linear complete 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: Modularity of completeness revisited