6 search results - page 2 / 2 » Quantifier Elimination in Second-Order Predicate Logic |
ICDT
2009
ACM
14 years 6 months ago
2009
ACM
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete ? that is it cannot express every query definable in firsto...