${\mathcal{T}}$ -Decision by Decomposition
From MaRDI portal
Publication:3608774
DOI10.1007/978-3-540-73595-3_14zbMath1213.68567MaRDI QIDQ3608774
Mnacho Echenim, Maria Paola Bonacina
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_14
Related Items
Combinable Extensions of Abelian Groups, On deciding satisfiability by theorem proving with speculative inferences, Theory decision by decomposition
Uses Software