Pages that link to "Item:Q5686023"
From MaRDI portal
The following pages link to Some Results on the Length of Proofs (Q5686023):
Displaying 4 items.
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- On meta complexity of propositional formulas and propositional proofs (Q937212) (← links)
