Pages that link to "Item:Q5891935"
From MaRDI portal
The following pages link to Complete instantiation-based interpolation (Q5891935):
Displayed 6 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)