Graph operations and monadic second-order logic: A survey

DOI10.1007/3-540-44404-1_2MaRDI QIDQ2767003zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 22 July 2002

Published in Lecture Notes in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44404-1_2

Mathematics Subject Classification ID

Descriptive complexity and finite models (68Q19) Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• The monadic second-order logic of graphs. VII: Graphs as relational structures
• Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
• Graph operations, graph transformations and monadic second-order logic: a survey
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects

Cited in

(10)

• The monadic second-order logic of graphs. VII: Graphs as relational structures
• Nondeterministic operations on finite relational structures
• Monadic second-order logic, graph coverings and unfoldings of transition systems
• Existential monadic second order logic on random rooted trees
• Graph structure and monadic second-order logic. A language-theoretic approach
• Matrix Partitions with Finitely Many Obstructions
• scientific article; zbMATH DE number 475615 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Finite bases for flat graph algebras
• The monadic second-order logic of graphs. IX: Machines and their behaviours

This page was built for publication: Graph operations and monadic second-order logic: A survey

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