Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies

DOI10.1007/11853886_16zbMath1152.68519OpenAlexW1489494924MaRDI QIDQ3533130

Daniele Zucchelli, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_16

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items

Decision procedures for extensions of the theory of arrays, Interpolation and Symbol Elimination, On Local Reasoning in Verification