A note on C2 interpreted over finite data-words
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | 27th International Symposium on Temporal Representation and Reasoning (TIME 2020) |
Publication status | Published - 1 Sept 2020 |
Peer-reviewed | Yes |
External IDs
Scopus | 85091654049 |
---|