Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)1-28
Seitenumfang28
FachzeitschriftLogical Methods in Computer Science
Ausgabenummer4:1
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa

Externe IDs

Scopus 85041803182
ORCID /0000-0002-4049-221X/work/142247836

Schlagworte