Publications
Filters: Author is María Emilia Descotte [Clear All Filters]
Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability”, Information and Computation, In Press.
, “ Saturation, Definability, and Separation for XPath on Data Trees”, in Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015., 2015.
, “ Saturation, Definability, and Separation for XPath on Data Trees”, in 9th Alberto Mendelzon International Workshop on Foundations of Data Management, 2015.
, “ Definability for Downward and Vertical XPath on Data Trees”, in 21th Workshop on Logic, Language, Information and Computation, 2014.
, “ Definability for Downward and Vertical XPath on Data Trees”, in Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara{\'ı}so, Chile, September 1-4, 2014. Proceedings, 2014.
, “