Pages that link to "Item:Q1327317"
From MaRDI portal
The following pages link to Bounded-width polynomial-size Boolean formulas compute exactly those functions in AC\(^ 0\) (Q1327317):
Displayed 5 items.
- Resource trade-offs in syntactically multilinear arithmetic circuits (Q371194) (← links)
- Arithmetizing classes around {\textsf{NC}}\(^{1}\) and {\textsf{L}} (Q968272) (← links)
- A constant-space sequential model of computation for first-order logic (Q1271562) (← links)
- Arithmetic Circuits, Syntactic Multilinearity, and the Limitations of Skew Formulae (Q3599149) (← links)
- A constant-space sequential model of computation for first-order logic (Q6064294) (← links)