Combination of Disjoint Theories: Beyond Decidability
| Title | Combination of Disjoint Theories: Beyond Decidability |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Fontaine, P, Merz, S, Weidenbach, C |
| Editor | Gramlich, B, Miller, D, Sattler, U |
| Conference Name | Intl. Joint Conf. Automated Reasoning (IJCAR 2012) |
| Publisher | Springer |
| Conference Location | Manchester, UK |
Work Package:
WP2
