The following pages link to (Q3773878):
Displayed 7 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Interpolants, cut elimination and flow graphs for the propositional calculus (Q674415) (← links)
- On the number of steps in proofs (Q1119576) (← links)
- On the structure of initial segments of models of arithmetic (Q1123890) (← links)
- Propositional consistency proofs (Q1177033) (← links)
- Short proofs of the Kneser-Lovász coloring principle (Q1641004) (← links)
- INCOMPLETENESS IN THE FINITE DOMAIN (Q4640304) (← links)