On first-order definitions of subgraph isomorphism properties (Q679970): Difference between revisions

@@ Property / cites work @@
+Random graphs: models and asymptotic characteristics
+Normal rank
@@ Property / cites work @@
+Q4947393
@@ Property / cites work: Q4947393 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688439
@@ Property / cites work: Q3688439 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong computational lower bounds via parameterized complexity
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Polynomial bounds for the grid-minor theorem
@@ Property / cites work: Polynomial bounds for the grid-minor theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4359311
@@ Property / cites work: Q4359311 / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-one \(k\)-law
@@ Property / cites work: Zero-one \(k\)-law / rank @@
+Normal rank