Bubbles in modularity

DOI10.1016/S0304-3975(97)00144-8zbMath0895.68077OpenAlexW2034368631MaRDI QIDQ1127335

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

verificationbubblesmodularityterm rewriting systemleft-linearityneatening

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular termination of \(r\)-consistent and left-linear term rewriting systems
• On the modularity of normal forms in rewriting
• Modular properties of conditional term rewriting systems
• Counterexamples to termination for the direct sum of term rewriting systems
• On termination of the direct sum of term-rewriting systems
• Modularity of confluence: A simplified proof
• Generalized sufficient conditions for modular termination of rewriting
• On the modularity of termination of term rewriting systems
• Modular properties of composable term rewriting systems
• Termination for direct sums of left-linear complete term rewriting systems
• The theory of vaccines
• Open problems in rewriting
• Modularity of completeness revisited
• On the Church-Rosser property for the direct sum of term rewriting systems