A COMPLETE AXIOMATIZATION FOR CORE XPATH 1.0
msra(2007)
摘要
This paper provides a complete algebraic axiomatization of node and path equivalences in Core XPath 1.0. Our completeness proof builds on a completeness result of Blackburn et al. (3) for a modal logic of nite trees.
更多查看译文
关键词
modal logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络