Interpolation in Local Theory Extensions
Logical Methods in Computer Science. Bd. 4. H. 4. Braunschweig: Department of Theoretical Computer Science, Technical University of Braunschweig 2008 S. 1 - 31
Erscheinungsjahr: 2008
ISBN/ISSN: 1860-5974
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.2168/LMCS-4(4:1)2008
| Geprüft: | Bibliothek |
