On Interpolation and Symbol Elimination in Theory Extensions.
Logical Methods in Computer Science. Bd. 14. H. 3. 2018
Erscheinungsjahr: 2018
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.23638/LMCS-14(3:23)2018
Geprüft | Bibliothek |
Logical Methods in Computer Science. Bd. 14. H. 3. 2018
Erscheinungsjahr: 2018
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.23638/LMCS-14(3:23)2018
Geprüft | Bibliothek |