Figueira, Diego; Libkin, Leonid Path logics for querying graphs: combining expressiveness and efficiency. (English) Zbl 1401.68061 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 329-340 (2015). MSC: 68P15 03B70 03D05 68Q45 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 329--340 (2015; Zbl 1401.68061) Full Text: DOI
Figueira, Diego; Libkin, Leonid Synchronizing relations on words. (English) Zbl 1335.68118 Theory Comput. Syst. 57, No. 2, 287-318 (2015). MSC: 68Q45 68R15 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, Theory Comput. Syst. 57, No. 2, 287--318 (2015; Zbl 1335.68118) Full Text: DOI
Figueira, Diego; Libkin, Leonid Pattern logics and auxiliary relations. (English) Zbl 1394.68095 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 40, 10 p. (2014). MSC: 68P05 03B25 03B70 03C13 68P15 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 40, 10 p. (2014; Zbl 1394.68095) Full Text: DOI
Figueira, Diego; Libkin, Leonid Synchronizing relations on words. (English) Zbl 1359.68240 Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 518-529 (2014). MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, LIPIcs -- Leibniz Int. Proc. Inform. 25, 518--529 (2014; Zbl 1359.68240) Full Text: DOI
Barceló, Pablo; Figueira, Diego; Libkin, Leonid Graph logics with rational relations. (English) Zbl 1272.03147 Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013). MSC: 03D05 03B70 68P15 68Q45 68R15 PDF BibTeX XML Cite \textit{P. Barceló} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013; Zbl 1272.03147) Full Text: DOI
Barceló, Pablo; Figueira, Diego; Libkin, Leonid Graph logics with rational relations and the generalized intersection problem. (English) Zbl 1362.68063 Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 115-124 (2012). MSC: 68P15 03B70 03D05 68Q45 68R10 68R15 PDF BibTeX XML Cite \textit{P. Barceló} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 115--124 (2012; Zbl 1362.68063) Full Text: DOI