The first order definability of graphs with separators via the Ehrenfeucht game (Q2570131): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1986313631
@@ Property / OpenAlex ID: W1986313631 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/0401361
@@ Property / arXiv ID: math/0401361 / rank @@
+Normal rank
@@ Property / cites work @@
+A Separator Theorem for Nonplanar Graphs
@@ Property / cites work: A Separator Theorem for Nonplanar Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Planar Separators
@@ Property / cites work: Planar Separators / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Outerplanar Graphs Uniformly at Random
@@ Property / cites work: Generating Outerplanar Graphs Uniformly at Random / rank @@
+Normal rank
@@ Property / cites work @@
+Treewidth and Pathwidth of Permutation Graphs
@@ Property / cites work: Treewidth and Pathwidth of Permutation Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+A separator theorem for graphs of bounded genus
@@ Property / cites work: A separator theorem for graphs of bounded genus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936131
@@ Property / cites work: Q4936131 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism testing for embeddable graphs through definability
+Normal rank
@@ Property / cites work @@
+Parallel concepts in graph theory
@@ Property / cites work: Parallel concepts in graph theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+How complex are random graphs in first order logic?
+Normal rank
@@ Property / cites work @@
+A Separator Theorem for Planar Graphs
@@ Property / cites work: A Separator Theorem for Planar Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3291034
@@ Property / cites work: Q3291034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263796
@@ Property / cites work: Q4263796 / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct definitions in the first order theory of graphs
+Normal rank
@@ Property / cites work @@
+The first order definability of graphs: Upper bounds for quantifier depth
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Graph minors. XIII: The disjoint paths problem
@@ Property / cites work: Graph minors. XIII: The disjoint paths problem / rank @@
+Normal rank
@@ Property / cites work @@
+The strange logic of random graphs
@@ Property / cites work: The strange logic of random graphs / rank @@
+Normal rank