Graph decompositions definable in monadic second-order logic (Q3439302): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4373675 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partitive hypergraphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Graph Grammars and Computing by Graph Transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Science Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decomposition of Directed Graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Combinatorial Decomposition Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A \(k\)-structure generalization of the theory of 2-structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: A linear algorithm to decompose inheritance graphs into modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical Foundations of Computer Science 2003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3683903 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of Matroids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5524326 / rank
 
Normal rank

Latest revision as of 20:08, 25 June 2024

scientific article
Language Label Description Also known as
English
Graph decompositions definable in monadic second-order logic
scientific article

    Statements

    Graph decompositions definable in monadic second-order logic (English)
    0 references
    29 May 2007
    0 references
    0 references
    0 references
    0 references
    0 references
    graph decomposition
    0 references
    split decomposition
    0 references
    matroid
    0 references
    monadic second-order logic
    0 references
    0 references
    0 references