| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Locality and Applications to Subsumption Testing in EL and Some of its Extensions.

Sci. Ann. Comp. Sci. Bd. 23. H. 2. 2013 S. 251 - 284

Erscheinungsjahr: 2013

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.7561/SACS.2013.2.251

Volltext über DOI/URN

Geprüft

Bibliothek

Autoren

Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Institut für Informatik)

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Formale Methoden und Theoretische Informatik)

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)