Pages that link to "Item:Q2958529"
From MaRDI portal
The following pages link to Theories for subexponential-size bounded-depth Frege proofs (Q2958529):
Displaying 7 items.
- Circuit lower bounds in bounded arithmetics (Q466447) (← links)
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- Hard examples for the bounded depth Frege proof system (Q1430570) (← links)
- A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems (Q2944868) (← links)
- Approximation and Small-Depth Frege Proofs (Q4027856) (← links)
- (Q5465358) (← links)