Work-sensitive dynamic complexity of formal languages (Q2233429): Difference between revisions

@@ Property / author @@
-Jonas Schmidt
@@ Property / author: Jonas Schmidt / rank @@
-Normal rank
@@ Property / author @@
+Jonas Schmidt
@@ Property / author: Jonas Schmidt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3142840804
@@ Property / OpenAlex ID: W3142840804 / rank @@
+Normal rank
@@ Property / cites work @@
+If the Current Clique Algorithms Are Optimal, so Is Valiant's Parser
+Normal rank
@@ Property / cites work @@
+Dynamic nested brackets
@@ Property / cites work: Dynamic nested brackets / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract state machines: a unifying view of models of computation and of system design frameworks
+Normal rank
@@ Property / cites work @@
+Reachability Is in DynFO
@@ Property / cites work: Reachability Is in DynFO / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algorithms for the Dyck languages
@@ Property / cites work: Dynamic algorithms for the Dyck languages / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic word problems
@@ Property / cites work: Dynamic word problems / rank @@
+Normal rank
@@ Property / cites work @@
+Powers of tensors and fast matrix multiplication
@@ Property / cites work: Powers of tensors and fast matrix multiplication / rank @@
+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 @@
+Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity
+Normal rank
@@ Property / cites work @@
+Fully-dynamic planarity testing in polylogarithmic time
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental Descriptive Complexity
@@ Property / cites work: Experimental Descriptive Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023519
@@ Property / cites work: Q4023519 / 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 @@
+Q5641083
@@ Property / cites work: Q5641083 / 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 @@
+Dyn-FO: A parallel, dynamic complexity class
@@ Property / cites work: Dyn-FO: A parallel, dynamic complexity class / rank @@
+Normal rank
@@ Property / cites work @@
+Work-sensitive dynamic complexity of formal languages
+Normal rank
@@ Property / cites work @@
+Dynamic Complexity under Definable Changes
@@ Property / cites work: Dynamic Complexity under Definable Changes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3732971
@@ Property / cites work: Q3732971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393484
@@ Property / cites work: Q4393484 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplying matrices faster than coppersmith-winograd
+Normal rank