Interpolation in local theory extensions
From MaRDI portal
Recommendations
Cited in
(20)- On local modularity and interpolation in entailment systems.
- Interpolation and amalgamation for arrays with MaxDiff
- On invariant synthesis for parametric systems
- A new look at localic interpolation theorems
- Modularity results for interpolation, amalgamation and superamalgamation
- Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
- Interpolation systems for ground proofs in automated deduction: a survey
- Ground interpolation for the theory of equality
- From strong amalgamability to modularity of quantifier-free interpolation
- On First-Order Model-Based Reasoning
- Interpolation in Local Theory Extensions
- Ground Interpolation for the Theory of Equality
- First-order interpolation and interpolating proof systems
- On combinations of local theory extensions
- SMT-based verification of data-aware processes: a model-theoretic approach
- Complete instantiation-based interpolation
- Constraint solving for interpolation
- Interpolation Results for Arrays with Length and MaxDiff
- On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$
- On symbol elimination and uniform interpolation in theory extensions
This page was built for publication: Interpolation in local theory extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3622999)
