12 citations · 29 across the 10 of their papers we have counts for
1 paper · 1 filter
Carlos Areces, Raul Fervari
In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal vers…