Counting paths in VPA is complete for \(\#\mathrm{NC}^1\) (Q1759656): Difference between revisions

@@ Property / DOI @@
-.1007/s00453-011-9501-x
@@ Property / DOI: 10.1007/s00453-011-9501-x / rank @@
-Normal rank
@@ Property / cites work @@
+Non-commutative arithmetic circuits: depth reduction and size lower bounds
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\)
+Normal rank
@@ Property / cites work @@
+Computing Algebraic Formulas Using a Constant Number of Registers
+Normal rank
@@ Property / cites work @@
+The Parallel Evaluation of General Arithmetic Expressions
+Normal rank
@@ Property / cites work @@
+An Optimal Parallel Algorithm for Formula Evaluation
+Normal rank
@@ Property / cites work @@
+Nondeterministic \(NC^1\) computation
@@ Property / cites work: Nondeterministic \(NC^1\) computation / rank @@
+Normal rank
@@ Property / cites work @@
+Division in logspace-uniform<i>NC</i><sup>1</sup>
@@ Property / cites work: Division in logspace-uniform<i>NC</i><sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Arithmetizing Classes Around NC 1 and L
@@ Property / cites work: Arithmetizing Classes Around NC 1 and L / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetizing classes around {\textsf{NC}}\(^{1}\) and {\textsf{L}}
+Normal rank
@@ Property / cites work @@
+Q3890112
@@ Property / cites work: Q3890112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393484
@@ Property / cites work: Q4393484 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00453-011-9501-X
@@ Property / DOI: 10.1007/S00453-011-9501-X / rank @@
+Normal rank