Model theory of XPath on data trees. Part II: Binary bisimulation and definability

Citation data:

Information and Computation, ISSN: 0890-5401, Vol: 255, Page: 195-223

Publication Year:
2017
Usage 2
Abstract Views 2
Social Media 3
Tweets 3
Citations 2
Citation Indexes 2
DOI:
10.1016/j.ic.2017.01.002
Author(s):
Sergio Abriola, María Emilia Descotte, Santiago Figueira
Publisher(s):
Elsevier BV
Tags:
Mathematics, Computer Science
Most Recent Tweet View All Tweets
article description
We study the expressive power of the downward and vertical fragments of XPath equipped with (in)equality tests over possibly infinite data trees.

This article has 0 Wikipedia mention.