Locality and applications to subsumption testing and interpolation in EL and some of its extensions
S. 1 - 42
Publikationstyp: (noch) nicht publizierte Dokumente
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1311.2973
Autoren
Sofronie-Stokkermans, Viorica (Autor)