Pages that link to "Item:Q719283"
From MaRDI portal
The following pages link to Corrected upper bounds for free-cut elimination (Q719283):
Displaying 4 items.
- Propositional proofs and reductions between NP search problems (Q435190) (← links)
- Logic and majority voting (Q2121481) (← links)
- Sharpened lower bounds for cut elimination (Q2892684) (← links)
- Collapsing modular counting in bounded arithmetic and constant depth propositional proofs (Q2944908) (← links)
