Figueira, Diego; Figueira, Santiago; Areces, Carlos Model theory of XPath on data trees. I: Bisimulation and characterization. (English) Zbl 1336.68057 J. Artif. Intell. Res. (JAIR) 53, 271-314 (2015). MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{D. Figueira} et al., J. Artif. Intell. Res. (JAIR) 53, 271--314 (2015; Zbl 1336.68057) Full Text: DOI
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio The expressive power of memory logics. (English) Zbl 1247.03027 Rev. Symb. Log. 4, No. 2, 290-318 (2011). Reviewer: Éric Martin (Sydney) MSC: 03B45 PDF BibTeX XML Cite \textit{C. Areces} et al., Rev. Symb. Log. 4, No. 2, 290--318 (2011; Zbl 1247.03027) Full Text: DOI
Areces, Carlos; Figueira, Diego; Gorín, Daniel; Mera, Sergio Tableaux and model checking for memory logics. (English) Zbl 1260.03036 Giese, Martin (ed.) et al., Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02715-4/pbk). Lecture Notes in Computer Science 5607. Lecture Notes in Artificial Intelligence, 47-61 (2009). MSC: 03B45 03B35 03B70 68Q60 PDF BibTeX XML Cite \textit{C. Areces} et al., Lect. Notes Comput. Sci. 5607, 47--61 (2009; Zbl 1260.03036) Full Text: DOI
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio Expressive power and decidability for memory logics. (English) Zbl 1156.03029 Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 56-68 (2008). MSC: 03B70 03B25 03B45 PDF BibTeX XML Cite \textit{C. Areces} et al., Lect. Notes Comput. Sci. 5110, 56--68 (2008; Zbl 1156.03029) Full Text: DOI