Lista de

2017
1349
Information and Computation
1
"Model theory of XPath on data trees. Part II: Binary bisimulation and definability" (2017) Abriola, S.; Descotte, M.E.; Figueira, S. Information and Computation. 255:195-223