Automatic Decidability and Combinability Revisited
From MaRDI portal
Publication:3608782
DOI10.1007/978-3-540-73595-3_22zbMath1213.68573OpenAlexW1501904174MaRDI QIDQ3608782
No author found.
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: http://edoc.mpg.de/356501
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
An instantiation scheme for satisfiability modulo theories ⋮ Automatic decidability and combinability ⋮ Combinable Extensions of Abelian Groups ⋮ Variant-Based Satisfiability in Initial Algebras ⋮ Satisfiability Procedures for Combination of Theories Sharing Integer Offsets ⋮ Data Structures with Arithmetic Constraints: A Non-disjoint Combination ⋮ Theory decision by decomposition
This page was built for publication: Automatic Decidability and Combinability Revisited
