Computational limitations of small-depth circuits
Computational limitations of small-depth circuits
A new recursion-theoretic characterization of the polytime functions
Computational Complexity
Function-algebraic characterizations of log and polylog parallel time
Computational Complexity
Improved depth lower bounds for small distance connectivity
Computational Complexity
Computational Models and Function Algebras
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Hi-index | 0.00 |
We characterize iterated log depth circuit classes between AC0 and AC1 by Cobham-like bounded recursion schemata. We also give alternative characterizations which utilize the safe recursion method developed by Bellantoni and Cook.