Interpolating parametric array theories

DOI10.1007/978-3-032-04590-4_13MaRDI QIDQ6884712zbMATH OpenFDO

Authors R. Raja, Christophe Ringeissen

Publication date 15 December 2025

Full work available at URL https://doi.org/10.1007/978-3-032-04590-4_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• Array Folds Logic
• Cardinality constraints for arrays (decidability results and applications)
• Complete instantiation-based interpolation
• Cover Algorithms and Their Combination
• Efficient interpolation for the theory of arrays
• Higher-order quantifier elimination, counter simulations and fault-tolerant systems
• Interpolation Results for Arrays with Length and MaxDiff
• NP satisfiability for arrays as powers
• Quantifier-free interpolation in combinations of equality interpolating theories
• Quantifier-free interpolation of a theory of arrays
• The first order properties of products of algebraic systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Interpolating parametric array theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884712)