Combination of Disjoint Theories: Beyond Decidability
From MaRDI portal
Publication:2908497
DOI10.1007/978-3-642-31365-3_21zbMath1358.68253OpenAlexW1602210665MaRDI QIDQ2908497
Pascal Fontaine, Stephan Merz, Christoph Weidenbach
Publication date: 5 September 2012
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_21
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Combination of Disjoint Theories: Beyond Decidability
