Pages that link to "Item:Q4530148"
From MaRDI portal
The following pages link to A Note on Conservativity Relations among Bounded Arithmetic Theories (Q4530148):
Displayed 6 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- The canonical pairs of bounded depth Frege systems (Q2216035) (← links)
- Random resolution refutations (Q2311546) (← links)
- The Ordering Principle in a Fragment of Approximate Counting (Q2946740) (← links)
- INCOMPLETENESS IN THE FINITE DOMAIN (Q4640304) (← links)
- Short refutations for an equivalence‐chain principle for constant‐depth formulas (Q5109242) (← links)