Dynamic Complexity of the Dyck Reachability (Q2988373): Difference between revisions

@@ Property / author @@
-Vincent Jugé
@@ Property / author: Vincent Jugé / rank @@
-Normal rank
@@ Property / author @@
+Vincent Jugé
@@ Property / author: Vincent Jugé / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2539473767
@@ Property / OpenAlex ID: W2539473767 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07499
@@ Property / arXiv ID: 1610.07499 / 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 @@
+Dynamic Complexity of the Dyck Reachability
@@ Property / cites work: Dynamic Complexity of the Dyck Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability is in DynFO
@@ Property / cites work: Reachability is in DynFO / rank @@
+Normal rank
@@ Property / cites work @@
+The Effects of Bounding Syntactic Resources on Presburger LTL
+Normal rank
@@ Property / cites work @@
+Incremental and decremental evaluation of transitive closure by first- order queries
+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 @@
+Q4843270
@@ Property / cites work: Q4843270 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Succinct and Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+The dynamic complexity of transitive closure is in DynTC\(^{0}\).
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / 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 @@
+Q5276194
@@ Property / cites work: Q5276194 / 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 theory revisited
@@ Property / cites work: Dynamic complexity theory revisited / rank @@
+Normal rank