Model Theory of XPath on Data Trees. Part {I:} Bisimulation and Characterization
| Title | Model Theory of XPath on Data Trees. Part {I:} Bisimulation and Characterization |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Figueira, D, Figueira, S, Areces, C |
| Journal | J. Artif. Intell. Res. {(JAIR)} |
| Volume | 53 |
| Pagination | 271–314 |
| URL | http://dx.doi.org/10.1613/jair.4658 |
| DOI | 10.1613/jair.4658 |
Work Package:
WP2
