Locality Results for Certain Extensions of Theories with Bridging Functions
Renate A. Schmidt (Hrsg). Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Berlin: Springer 2009 S. 67 - 83
Erscheinungsjahr: 2009
ISBN/ISSN: 978-3-642-02958-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-02959-2_5
| Geprüft | Bibliothek |
