Axiomatizations for downward XPath on data trees. Abriola, S., Descotte, M. E., Fervari, R., & Figueira, S. J. Comput. Syst. Sci., 89:209–245, 2017.
Axiomatizations for downward XPath on data trees [link]Paper  doi  bibtex   
@article{DBLP:journals/jcss/AbriolaDFF17,
  author       = {Sergio Abriola and
                  Mar{\'{\i}}a Emilia Descotte and
                  Raul Fervari and
                  Santiago Figueira},
  title        = {Axiomatizations for downward XPath on data trees},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {89},
  pages        = {209--245},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jcss.2017.05.008},
  doi          = {10.1016/J.JCSS.2017.05.008},
  timestamp    = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/AbriolaDFF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0