Login / Signup

Axiomatizations for downward XPath on data trees.

Sergio AbriolaMaría Emilia DescotteRaul FervariSantiago Figueira
Published in: J. Comput. Syst. Sci. (2017)
Keyphrases