On Interpolation and Symbol Elimination in Theory Extensions
From MaRDI portal
Publication:2817926
DOI10.1007/978-3-319-40229-1_19zbMath1476.03042arXiv1702.06620MaRDI QIDQ2817926
Publication date: 5 September 2016
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.06620
03C40: Interpolation, preservation, definability
03C10: Quantifier elimination, model completeness, and related topics
Uses Software