Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.
IJCAR. 2014 S. 192 - 207
Erscheinungsjahr: 2014
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-08587-6_14
Geprüft | Bibliothek |
IJCAR. 2014 S. 192 - 207
Erscheinungsjahr: 2014
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-08587-6_14
Geprüft | Bibliothek |