The definition in monadic second-order logic of modular decompositions of ordered graphs

DOI10.1007/3-540-61228-9_107zbMATH Open1412.68167OpenAlexW115396331MaRDI QIDQ4645296FDOQ4645296

Authors Bruno Courcelle

Publication date 10 January 2019

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

Full work available at URL https://doi.org/10.1007/3-540-61228-9_107

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• The monadic second-order logic of graphs. X: Linear orderings
• Computer Science Logic
• The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
• The monadic second-order logic of graphs XVI : Canonical graph decompositions
• Graph decompositions definable in monadic second-order logic

Cites work

• scientific article; zbMATH DE number 522865 (Why is no real title available?)
• scientific article; zbMATH DE number 1456953 (Why is no real title available?)
• Monadic second-order definable graph transductions: a survey
• Recognizable sets of graphs: equivalent definitions and closure properties
• Structural properties of context-free sets of graphs generated by vertex replacement
• The monadic second order logic of graphs. VI: On several representations of graphs by relational structures
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
• The monadic second-order logic of graphs. VIII: Orientations
• Theory of 2-structures. II: Representation through labeled tree families

Cited in

(8)

• The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
• Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic
• scientific article; zbMATH DE number 2143018 (Why is no real title available?)
• Monadic second-order definable graph orderings
• Graph decompositions definable in monadic second-order logic
• Computer Science Logic
• The monadic second-order logic of graphs XVI : Canonical graph decompositions
• The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs

This page was built for publication: The definition in monadic second-order logic of modular decompositions of ordered graphs

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