Abriola, Sergio; Barceló, Pablo; Figueira, Diego; Figueira, Santiago Bisimulations on data graphs. (English) Zbl 1426.68179 J. Artif. Intell. Res. (JAIR) 61, 171-213 (2018). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{S. Abriola} et al., J. Artif. Intell. Res. (JAIR) 61, 171--213 (2018; Zbl 1426.68179) Full Text: DOI
Abriola, Sergio; Figueira, Diego; Figueira, Santiago Logics of repeating values on data trees and branching counter systems. (English) Zbl 06720991 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 196-212 (2017). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Abriola} et al., Lect. Notes Comput. Sci. 10203, 196--212 (2017; Zbl 06720991) Full Text: DOI