Pages that link to "Item:Q1353980"
From MaRDI portal
The following pages link to ALOGTIME and a conjecture of S. A. Cook (Q1353980):
Displaying 4 items.
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- Frege proof system and TNC° (Q4212930) (← links)
