Q5376663 (Q5376663): Difference between revisions

@@ Property / arXiv ID @@
+.07998
@@ Property / arXiv ID: 1704.07998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086920
@@ Property / cites work: Q3086920 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+The monadic second order logic of graphs. VI: On several representations of graphs by relational structures
+Normal rank
@@ Property / cites work @@
+Reachability is in DynFO
@@ Property / cites work: Reachability is in DynFO / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Is in DynFO
@@ Property / cites work: Reachability Is in DynFO / rank @@
+Normal rank
@@ Property / cites work @@
+Q5376663
@@ Property / cites work: Q5376663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5002805
@@ Property / cites work: Q5002805 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrecursive incremental evaluation of Datalog queries
+Normal rank
@@ Property / cites work @@
+Where First-Order and Monadic Second-Order Logic Coincide
+Normal rank
@@ Property / cites work @@
+The dynamic complexity of formal languages
@@ Property / cites work: The dynamic complexity of formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / 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 @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Dyn-FO: A parallel, dynamic complexity class
@@ Property / cites work: Dyn-FO: A parallel, dynamic complexity class / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Complexity under Definable Changes
@@ Property / cites work: Dynamic Complexity under Definable Changes / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic complexity theory revisited
@@ Property / cites work: Dynamic complexity theory revisited / rank @@
+Normal rank