Pages that link to "Item:Q3010355"
From MaRDI portal
The following pages link to On Interpolation in Decision Procedures (Q3010355):
Displayed 6 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)