The following pages link to Herbrand Sequent Extraction (Q5505525):
Displaying 11 items.
- On the elimination of quantifier-free cuts (Q650922) (← links)
- Extraction of expansion trees (Q670704) (← links)
- CERES in higher-order logic (Q716500) (← links)
- Physics and proof theory (Q2249005) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (Q3454106) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
- Herbrand Sequent Extraction (Q5505525) (← links)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)
