Computing Minimal EL-Unifiers is Hard
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 9th International Conference on Advances in Modal Logic (AiML'12) |
Seiten | 19-35 |
Seitenumfang | 18 |
Publikationsstatus | Veröffentlicht - 2012 |
Peer-Review-Status | Ja |
Externe IDs
ORCID | /0000-0002-4049-221X/work/142247874 |
---|
Schlagworte
Schlagwörter
- Unification, Description Logics