The following pages link to Arithmetizing uniform \(NC\) (Q1176198):
Displaying 15 items.
- Construction of models of bounded arithmetic by restricted reduced powers (Q506954) (← links)
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- Bounded arithmetic for NC, ALogTIME, L and NL (Q1192345) (← links)
- A new recursion-theoretic characterization of the polytime functions (Q1207333) (← links)
- Function-algebraic characterizations of log and polylog parallel time (Q1332666) (← links)
- RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\) (Q1345903) (← links)
- Separating NC along the \(\delta\) axis (Q1827390) (← links)
- An algebra and a logic for \(NC^ 1\) (Q2638772) (← links)
- On a Theory for AC0 and the Strength of the Induction Scheme (Q4210843) (← links)
- X Latin American Symposium on Mathematical Logic (Q4897043) (← links)
- (Q5089032) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
- A model of \(\widehat{R}^2_3\) inside a subexponential time resource (Q5937822) (← links)
- A note on the relation between polynomial time functionals and Constable's class \(\mathcal K\) (Q6560166) (← links)
