The following pages link to (Q5465358):
Displaying 8 items.
- Nested PLS (Q535153) (← links)
- On the computational complexity of cut-reduction (Q636310) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← 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 bounded arithmetic AID for Frege systems (Q1977488) (← links)
- Approximation and Small-Depth Frege Proofs (Q4027856) (← links)