Pages that link to "Item:Q922540"
From MaRDI portal
The following pages link to Exponentiation and second-order bounded arithmetic (Q922540):
Displaying 6 items.
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- On induction-free provability (Q1353982) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- Implicit proofs (Q5311729) (← links)
- Notes on polynomially bounded arithmetic (Q5687325) (← links)
- CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS (Q5739904) (← links)
