Pages that link to "Item:Q2388433"
From MaRDI portal
The following pages link to Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433):
Displaying 10 items.
- Lifting lower bounds for tree-like proofs (Q475337) (← links)
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- Simulating non-prenex cuts in quantified propositional calculus (Q3096088) (← links)
- Examining Fragments of the Quantified Propositional Calculus (Q3617380) (← links)
- (Q4440563) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)
- The NP Search Problems of Frege and Extended Frege Proofs (Q5278209) (← links)