The monadic second-order logic of graphs : Definable sets of finite graphs
From MaRDI portal
Publication:6203539
DOI10.1007/3-540-50728-0_34OpenAlexW1506761696MaRDI QIDQ6203539FDOQ6203539
Authors: Bruno Courcelle 
Publication date: 28 February 2024
Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-50728-0_34
Recommendations
- 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, II: Infinite graphs of bounded width
- scientific article; zbMATH DE number 4049098
- scientific article; zbMATH DE number 17791
Structural characterization of families of graphs (05C75) Grammars and rewriting systems (68Q42) Higher-order logic (03B16) Decidability of theories and sets of sentences (03B25)
Cites Work
- Über eine Eigenschaft der ebenen Komplexe
- Complexity of Finding Embeddings in a k-Tree
- Graph minors. V. Excluding a planar graph
- The NP-completeness column: an ongoing guide
- Tree acceptors and some of their applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic automata and context-free sets
- An axiomatic definition of context-free rewriting and its application to NLC graph grammars
- The NP-completeness column: An ongoing guide
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- Graph expressions and graph rewritings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (2)
This page was built for publication: The monadic second-order logic of graphs : Definable sets of finite graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203539)
