Pages that link to "Item:Q3622999"
From MaRDI portal
The following pages link to Interpolation in local theory extensions (Q3622999):
Displayed 10 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Constraint solving for interpolation (Q604394) (← links)
- Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)