The following pages link to Proving theorems by reuse (Q1978233):
Displaying 11 items.
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- Reuse of proofs in software verification (Q1419888) (← links)
- Boosting the reuse of formal specifications (Q1791193) (← links)
- On terminating lemma speculations. (Q1854370) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- A pragmatic approach to reuse in tactical theorem proving (Q2841242) (← links)
- Termination of theorem proving by reuse (Q4647503) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)
- Algebraic Methodology and Software Technology (Q5312981) (← links)
- Theorem Proving in Higher Order Logics (Q5464644) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)