Locality Transfer: From Constrained Axiomatizations to Reachability Predicates
Stéphane Demri; Deepak Kapur; Christoph Weidenbach (Hrsg). Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 192 - 207
Erscheinungsjahr: 2014
ISBN/ISSN: 978-3-319-08586-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-08587-6_14
| Geprüft | Bibliothek |
