The following pages link to (Q5465359):
Displaying 9 items.
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- Short propositional refutations for dense random 3CNF formulas (Q741088) (← links)
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- Generalized quantifier and a bounded arithmetic theory for LOGCFL (Q884960) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (Q3540180) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
- A Groupoid of Isomorphic Data Transformations (Q3637276) (← links)
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049) (← links)
