Locality and subsumption testing in EL and some of its extensions.
Advances in Modal Logic. 2008 S. 315 - 339
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Advances in Modal Logic. 2008 S. 315 - 339
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |