On Combinations of Local Theory Extensions
Andrei Voronkov; Christoph Weidenbach (Hrsg). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer 2013 S. 392 - 413
Erscheinungsjahr: 2013
ISBN/ISSN: 978-3-642-37650-4
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-37651-1_16
| Geprüft | Bibliothek |
