Q5089032 (Q5089032): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.FSCD.2019.29
@@ Property / DOI: 10.4230/LIPIcs.FSCD.2019.29 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetizing uniform \(NC\)
@@ Property / cites work: Arithmetizing uniform \(NC\) / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Function-algebraic characterizations of log and polylog parallel time
+Normal rank
@@ Property / cites work @@
+Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035303
@@ Property / cites work: Q4035303 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear types and non-size-increasing polynomial time computation.
+Normal rank
@@ Property / cites work @@
+Pure pointer programs with iteration
@@ Property / cites work: Pure pointer programs with iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion schemata for slowly growing depth circuit classes
+Normal rank
@@ Property / cites work @@
+A characterization of alternating log time by ramified recurrence
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform circuit complexity
@@ Property / cites work: On uniform circuit complexity / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.FSCD.2019.29
@@ Property / DOI: 10.4230/LIPICS.FSCD.2019.29 / rank @@
+Normal rank