2 search results - page 1 / 1 » Automata with Nested Pebbles Capture First-Order Logic with ... |
79
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
136
click to vote
PODS
2008
ACM
16 years 3 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...