Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

Figueira, D., Figueira, S., and Areces, C.. Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. Journal of Artificial Intelligence Research, 53:271–314, 2015.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{arec:mode15,
  author = {Figueira, D. and Figueira, S. and Areces, C.},
  title = {Model Theory of XPath on Data Trees. Part {I:} Bisimulation and Characterization},
  journal = {Journal of Artificial Intelligence Research},
  year = {2015},
  volume = {53},
  pages = {271--314},
  doi = {10.1613/jair.4658},
  owner = {areces},
  url = {http://dx.doi.org/10.1613/jair.4658}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49