Interpolation in Local Theory Extensions.
Logical Methods in Computer Science. Bd. 4. H. 4. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.2168/LMCS-4(4:1)2008
Geprüft | Bibliothek |
Logical Methods in Computer Science. Bd. 4. H. 4. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.2168/LMCS-4(4:1)2008
Geprüft | Bibliothek |