On Interpolation and Symbol Elimination in Theory Extensions.
CoRR. Bd. abs/1702.06620. 2017
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
CoRR. Bd. abs/1702.06620. 2017
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |