Skip to content
cs-conference-ranking.org

Axiomatizing the Logical Core of XPath 2.0.

Balder ten Cate, Maarten Marx

VenueAICDT
Year2007
ProceedingsICDT
DBLP recordconf/icdt/CateM07 ↗

Browse the full ICDT paper archive.