Figueira, Diego; Majumdar, Anirban; Praveen, M. Playing with repetitions in data words using energy games. (English) Zbl 07226003 Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020). MSC: 03B70 68 91A05 PDF BibTeX XML Cite \textit{D. Figueira} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020; Zbl 07226003) Full Text: Link arXiv
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1448.68339 Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016). MSC: 68Q85 03B44 68Q25 PDF BibTeX XML Cite \textit{S. Demri} et al., Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016; Zbl 1448.68339) Full Text: DOI
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1366.68202 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 33-42 (2013). MSC: 68Q85 03B44 68Q25 PDF BibTeX XML Cite \textit{S. Demri} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 33--42 (2013; Zbl 1366.68202) Full Text: DOI