Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
From MaRDI portal
Publication:3533130
DOI10.1007/11853886_16zbMath1152.68519MaRDI 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
03B25: Decidability of theories and sets of sentences
Related Items
Interpolation and Symbol Elimination, On Local Reasoning in Verification, Decision procedures for extensions of the theory of arrays