A note on C2 interpreted over finite data-words

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

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

Scopus	85091654049