You are here

Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability

fcarrillo's picture
TitleModel Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability
Publication TypeJournal Article
Year of Publication2015
AuthorsAbriola, S., M. Emilia Descotte, and S. Figueira
JournalInformation and Computation