JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska, "Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor" , in Notre Dame Journal of Formal Logic, Vol. 57, Nummer 4, Duke University Press, Seite(n) 443-476, 2016, ISSN: 1939-0726
Original Titel: Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Sprache des Titels: Englisch
Journal: Notre Dame Journal of Formal Logic
Veröffentlicher: Duke University Press
Volume: 57
Number: 4
Seitenreferenz: 443-476
Erscheinungsjahr: 2016
ISSN: 1939-0726
Anzahl der Seiten: 33
DOI: 10.1215/00294527-3555507
URL zu weiteren Infos: https://iccl.inf.tu-dresden.de/web/LATPub605
Reichweite: international
Publikationstyp: Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Autoren: Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Forschungseinheiten: Institut für Netzwerke und Sicherheit
Wissenschaftsgebiete: Informatik (ÖSTAT:102)
IT-Sicherheit (ÖSTAT:102016)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum