Pages that link to "Item:Q4227882"
From MaRDI portal
The following pages link to Witnessing functions in bounded arithmetic and search problems (Q4227882):
Displayed 3 items.
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (Q647334) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)