Pages that link to "Item:Q638497"
From MaRDI portal
The following pages link to On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497):
Displaying 12 items.
- Circuit lower bounds in bounded arithmetics (Q466447) (← links)
- A sorting network in bounded arithmetic (Q638498) (← links)
- The provably total NP search problems of weak second order bounded arithmetic (Q639650) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- Theories for subexponential-size bounded-depth Frege proofs (Q2958529) (← links)
- Frege proof system and TNC° (Q4212930) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
