Abstract modularity

DOI10.1007/978-3-540-32033-3_5MaRDI QIDQ5703874zbMATH OpenOpenAlexFDO

Authors Michael Barry Abbott, Neil Ghani, Christoph Lüth

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b135673

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Modularity in term rewriting revisited
• Modularity of Convergence in Infinitary Rewriting
• scientific article; zbMATH DE number 6027889
• Modular term rewriting systems and the termination
• Modular properties of composable term rewriting systems

Cited in

(10)

• Modular invariants for layered object structures
• scientific article; zbMATH DE number 4210132 (Why is no real title available?)
• scientific article; zbMATH DE number 5142798 (Why is no real title available?)
• Modular multiset rewriting
• Modularity of Confluence
• Formal Properties of Modularisation
• Structural-Abstraction Principles
• Structural Counter Abstraction
• scientific article; zbMATH DE number 6027889 (Why is no real title available?)
• Modularity

This page was built for publication: Abstract modularity

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