On Combinations of Local Theory Extensions.
Programming Logics. 2013 S. 392 - 413
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-37651-1_16
Geprüft | Bibliothek |
Programming Logics. 2013 S. 392 - 413
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-37651-1_16
Geprüft | Bibliothek |