On Interpolation and Symbol Elimination in Theory Extensions
Nicola Olivetti; Ashish Tiwari (Hrsg). Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 273 - 289
Erscheinungsjahr: 2016
ISBN/ISSN: 978-3-319-40228-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-40229-1_19
| Geprüft | Bibliothek |
