The following pages link to Resolution is cut-free (Q972424):
Displaying 6 items.
- Clausal presentation of theories in deduction modulo (Q744331) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Translation of resolution proofs into short first-order proofs without choice axioms (Q2486578) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
- Automated Deduction – CADE-19 (Q5900728) (← links)