Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Description Logics |
Publikationsstatus | Veröffentlicht - 2021 |
Peer-Review-Status | Ja |