Bubbles in modularity

DOI10.1016/S0304-3975(97)00144-8MaRDI QIDQ1127335zbMATH OpenOpenAlexFDO

Authors Massimo Marchiori

Publication date 13 August 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00144-8

zbMATH Keywords

verificationmodularitybubblesterm rewriting systemleft-linearityneatening

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• On the modularity of normal forms in rewriting
• On modularity in term rewriting and narrowing
• Modularity in term rewriting revisited
• Modular termination of \(r\)-consistent and left-linear term rewriting systems
• Modular term rewriting systems and the termination

Cites work

• scientific article; zbMATH DE number 4180808 (Why is no real title available?)
• scientific article; zbMATH DE number 3913652 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• Counterexamples to termination for the direct sum of term rewriting systems
• Generalized sufficient conditions for modular termination of rewriting
• Modular properties of composable term rewriting systems
• Modular properties of conditional term rewriting systems
• Modular termination of \(r\)-consistent and left-linear term rewriting systems
• Modularity of completeness revisited
• Modularity of confluence: A simplified proof
• On termination of the direct sum of term-rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems
• On the modularity of normal forms in rewriting
• On the modularity of termination of term rewriting systems
• Open problems in rewriting
• Termination for direct sums of left-linear complete term rewriting systems
• The theory of vaccines

Cited in

(2)

• On the Correctness of Bubbling
• scientific article; zbMATH DE number 1341739 (Why is no real title available?)

This page was built for publication: Bubbles in modularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127335)