A note on C2 interpreted over finite data-words
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | 27th International Symposium on Temporal Representation and Reasoning (TIME 2020) |
Publikationsstatus | Veröffentlicht - 1 Sept. 2020 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85091654049 |
---|