Author:
Arenas Marcelo,Barceló Pablo,Libkin Leonid
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Afanasiev, L., Franceschet, M., Marx, M., de Rijke, M.: CTL model checking for processing simple XPath queries. In: TIME 2004, pp. 117–124 (2004)
2. Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M., de Rijke, M.: PDL for ordered trees. J. Appl. Non-Classical Logics 15, 115–135 (2005)
3. Barceló, P., Libkin, L.: Temporal logics over unranked trees. In: LICS 2005, pp. 31–40 (2005)
4. Bhat, G., Cleaveland, R.: Efficient model checking via the equational μ-calculus. In: LICS 1996, pp. 304–312 (1996)
5. Bloem, R., Engelfriet, J.: Monadic second order logic and node relations on graphs and trees. Struct. in Logic and Comp. Science, 144–161 (1997)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Identifying XML Schema Constraints Using Temporal Logic;Dependable Software Engineering: Theories, Tools, and Applications;2016
2. On CTL* with Graded Path Modalities;Logic for Programming, Artificial Intelligence, and Reasoning;2015
3. View-Based Tree-Language Rewritings for XML;Lecture Notes in Computer Science;2014
4. Graded computation tree logic;ACM Transactions on Computational Logic;2012-08