Bartosz Bednarczyk, Piotr Witkowski 0001. A Note on C² Interpreted over Finite Data-Words. In Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald, editors, 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. Volume 178 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.