The dynamic descriptive complexity of \(k\)-clique (Q2407083): Difference between revisions

@@ Property / cites work @@
+Incremental recomputation in local languages.
@@ Property / cites work: Incremental recomputation in local languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
+Normal rank
@@ Property / cites work @@
+Deterministic FOIES are strictly weaker
@@ Property / cites work: Deterministic FOIES are strictly weaker / rank @@
+Normal rank
@@ Property / cites work @@
+Shift graphs and lower bounds on Ramsey numbers \(r_ k(l;r)\)
+Normal rank
@@ Property / cites work @@
+Partition relations for cardinal numbers
@@ Property / cites work: Partition relations for cardinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Theorems on Classifications of Subsets of a Given Set
+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 @@
+Q3997075
@@ Property / cites work: Q3997075 / rank @@
+Normal rank
@@ Property / cites work @@
+The dynamic complexity of transitive closure is in DynTC\(^{0}\).
+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 @@
+Dynamic complexity theory revisited
@@ Property / cites work: Dynamic complexity theory revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Dynamic Descriptive Complexity of k-Clique
@@ Property / cites work: The Dynamic Descriptive Complexity of k-Clique / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic conjunctive queries
@@ Property / cites work: Dynamic conjunctive queries / rank @@
+Normal rank
@@ Property / cites work @@
+On the quantifier-free dynamic complexity of reachability
+Normal rank