Q5028429 (Q5028429): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Sigma_ 1^ 1\)-formulae on finite structures
@@ Property / cites work: \(\Sigma_ 1^ 1\)-formulae on finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+On uniformity within \(NC^ 1\)
@@ Property / cites work: On uniformity within \(NC^ 1\) / rank @@
+Normal rank
@@ Property / cites work @@
+On ACC
@@ Property / cites work: On ACC / 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 @@
+SEPARATING AUXILIARY ARITY HIERARCHY OF FIRST-ORDER INCREMENTAL EVALUATION SYSTEMS USING (3K+1)-<font>ary</font> INPUT RELATIONS
+Normal rank
@@ Property / cites work @@
+Parity, circuits, and the polynomial-time hierarchy
+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 @@
+The dynamic complexity of transitive closure is in DynTC\(^{0}\).
+Normal rank
@@ Property / cites work @@
+Q4267172
@@ Property / cites work: Q4267172 / 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 @@
+Dynamic Complexity under Definable Changes
@@ Property / cites work: Dynamic Complexity under Definable Changes / rank @@
+Normal rank
@@ Property / cites work @@
+The dynamic descriptive complexity of \(k\)-clique
+Normal rank
@@ Property / cites work @@
+On the quantifier-free dynamic complexity of reachability
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5028429