The theory of vaccines

DOI10.1007/3-540-63165-8_220zbMath1401.68072OpenAlexW1485080033MaRDI QIDQ4571995

Massimo Marchiori

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) General topics in the theory of computing (68Q01)

Related Items (3)

The theory of vaccines ⋮ Bubbles in modularity ⋮ Modularity in term rewriting revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Modular termination of \(r\)-consistent and left-linear term rewriting systems
• Modular properties of conditional term rewriting systems
• On termination of the direct sum of term-rewriting systems
• Generalized sufficient conditions for modular termination of rewriting
• On the modularity of termination of term rewriting systems
• Modular properties of composable term rewriting systems
• Unravelings and ultra-properties
• Termination for direct sums of left-linear complete term rewriting systems
• The theory of vaccines
• Modularity of completeness revisited
• On the Church-Rosser property for the direct sum of term rewriting systems
• Sufficient conditions for modular termination of conditional term rewriting systems

This page was built for publication: The theory of vaccines