Dyn-FO: A parallel, dynamic complexity class (Q1376403): Difference between revisions

@@ 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 @@
+Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\)
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138939
@@ Property / cites work: Q3138939 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental and decremental evaluation of transitive closure by first- order queries
+Normal rank
@@ Property / cites work @@
+Q4230327
@@ Property / cites work: Q4230327 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Structures for On-Line Updating of Minimum Spanning Trees, with Applications
+Normal rank
@@ Property / cites work @@
+Parity, circuits, and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Q3830533
@@ Property / cites work: Q3830533 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressibility and Parallel Complexity
@@ Property / cites work: Expressibility and Parallel Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+The complexity of iterated multiplication
@@ Property / cites work: The complexity of iterated multiplication / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic derivation of incremental programs
@@ Property / cites work: Systematic derivation of incremental programs / rank @@
+Normal rank
@@ Property / cites work @@
+Integrity constraint checking in stratified databases
+Normal rank
@@ Property / cites work @@
+Q4281568
@@ Property / cites work: Q4281568 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity models for incremental computation
@@ Property / cites work: Complexity models for incremental computation / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for improving integrity checking in relational data bases
+Normal rank
@@ Property / cites work @@
+Dynamic sensitivity of a chemostat for a microbial reaction with substrate and product inhibition
+Normal rank
@@ Property / cites work @@
+Improved data structures for fully dynamic biconnectivity
+Normal rank
@@ Property / cites work @@
+Storing a sparse table
@@ Property / cites work: Storing a sparse table / rank @@
+Normal rank