On Interpolation and Symbol Elimination in Theory Extensions
Logical Methods in Computer Science. Bd. 14. H. 3. Braunschweig: University of Braunschweig 2018 S. 1 - 41
Erscheinungsjahr: 2018
ISBN/ISSN: 1860-5974
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.23638/LMCS-14(3:23)2018
| Geprüft: | Bibliothek |
