Interpolation Results for Arrays with Length and MaxDiff
From MaRDI portal
Publication:6082222
Cites work
- Amalgamation properties and interpolation theorems for equational theories
- Cardinality constraints for arrays (decidability results and applications)
- Complete instantiation-based interpolation
- Complete instantiation-based interpolation
- Constraint Solving for Interpolation
- Constraint solving for interpolation
- Continuous Model Theory. (AM-58)
- Efficient interpolation for the theory of arrays
- scientific article; zbMATH DE number 3875359 (Why is no real title available?)
- Interpolation and amalgamation for arrays with MaxDiff
- Interpolation and SAT-based model checking.
- Interpolation in Local Theory Extensions
- Interpolation in local theory extensions
- Lazy Abstraction with Interpolants
- Model-theoretic methods in combined constraint satisfiability
- NP satisfiability for arrays as powers
- Proof tree preserving interpolation
- Quantifier-free interpolation in combinations of equality interpolating theories
- Quantifier-free interpolation of a theory of arrays
- Simplification by Cooperating Decision Procedures
- Solving and interpolating constant arrays based on weak equivalences
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Interpolation Results for Arrays with Length and MaxDiff
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6082222)
