Metric Temporal Description Logics with Interval-Rigid Names
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 30:1-30:46 |
| Seitenumfang | 46 |
| Fachzeitschrift | ACM transactions on computational logic |
| Jahrgang | 21 |
| Ausgabenummer | 4 |
| Publikationsstatus | Veröffentlicht - 2020 |
| Peer-Review-Status | Ja |
Externe IDs
| Scopus | 85096521308 |
|---|---|
| ORCID | /0000-0002-4049-221X/work/142247884 |