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

@@ Property / author @@
+Bruno Courcelle
@@ Property / author: Bruno Courcelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.endm.2005.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2024122625
@@ Property / OpenAlex ID: W2024122625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373675
@@ Property / cites work: Q4373675 / rank @@
+Normal rank
@@ Property / cites work @@
+Partitive hypergraphs
@@ Property / cites work: Partitive hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of Directed Graphs
@@ Property / cites work: Decomposition of Directed Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A Combinatorial Decomposition Theory
@@ Property / cites work: A Combinatorial Decomposition Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A \(k\)-structure generalization of the theory of 2-structures
+Normal rank
@@ Property / cites work @@
+A linear algorithm to decompose inheritance graphs into modules
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683903
@@ Property / cites work: Q3683903 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Matroids
@@ Property / cites work: Theory of Matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Q5524326
@@ Property / cites work: Q5524326 / rank @@
+Normal rank