Author:
Calvanese Diego,De Giacomo Giuseppe,Lenzerini Maurizio,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Clark, J., DeRose, S.: XML Path Language (XPath) version 1.0. W3C Recommendation (November 1999), http://www.w3.org/TR/1999/REC-xpath-19991116
2. ten Cate, B., Segoufin, L.: XPath, transitive closure logic, and nested tree walking automata. In: Proc. of PODS 2008, pp. 251–260 (2008)
3. Lecture Notes in Computer Science;M. Marx,2004
4. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. of Computer and System Sciences 18, 194–211 (1979)
5. Kupferman, O., Vardi, M.Y., Wolper, P.: An automata-theoretic approach to branching-time model checking. J. of the ACM 47(2), 312–360 (2000)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces;ACM Transactions on Software Engineering and Methodology;2022-07-28
2. Fusing effectful comprehensions;ACM SIGPLAN Notices;2017-09-14
3. Fusing effectful comprehensions;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14
4. Querying Graphs with Data;Journal of the ACM;2016-05-04
5. Efficiently Deciding μ-Calculus with Converse over Finite Trees;ACM Transactions on Computational Logic;2015-03-21