Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability
| Title | Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability |
| Publication Type | Journal Article |
| Year of Publication | In Press |
| Authors | Abriola, S, Descotte, ME, Figueira, S |
| Journal | Information and Computation |
Work Package:
WP2
