Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;M. Benedikt,2002
2. Lecture Notes in Computer Science;P. Blackburn,1996
3. World-Wide Web Consortium. XML path language (XPath): Version 1.0,
http://www.w3.org/TR/xpath.html
4. Etessami, K., Vardi, M., Wilke, Th.: First-order logic with two variables and unary temporal logic. In: Proc. LICS 1997, pp. 228–235 (1997)
5. Gottlob, G., Koch, C., Pichler, R.: Efficient algorithms for processing XPath queries. In: VLDB 2002 (2002)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Order-Invariance of Two-Variable Logic is Decidable;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
2. Decidability of Downward XPath;ACM Transactions on Computational Logic;2012-10
3. From XQuery to relational logics;ACM Transactions on Database Systems;2009-12
4. Applying model-checking to solve queries on semistructured data;Computer Languages, Systems & Structures;2009-07
5. Querying Linguistic Trees;Journal of Logic, Language and Information;2009-05-28