Locality Results for Certain Extensions of Theories with Bridging Functions.
CADE. 2009 S. 67 - 83
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-02959-2_5
Geprüft | Bibliothek |
CADE. 2009 S. 67 - 83
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-02959-2_5
Geprüft | Bibliothek |