Interpolation in local theory extensions
CoRR. Bd. abs/0806.4553. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
CoRR. Bd. abs/0806.4553. 2008
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |