Author:
Libkin Leonid,Sirangelo Cristina
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Abiteboul, S., Cautis, B., Milo, T.: Reasoning about XML update constraints. In: PODS 2007, pp. 195–204 (2007)
2. Alur, R., Arenas, M., Barceló, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. In: LICS 2007, pp. 151–160 (2007)
3. Lecture Notes in Computer Science;R. Alur,2004
4. Arenas, M., Fan, W., Libkin, L.: Consistency of XML specifications. In: Inconsistency Tolerance, pp. 15–41. Springer, Heidelberg (2005)
5. Barceló, P., Libkin, L.: Temporal logics over unranked trees. In: LICS 2005, pp. 31–40 (2005)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Limiting Until in Ordered Tree Query Languages;ACM Transactions on Computational Logic;2016-03-28
2. Identifying XML Schema Constraints Using Temporal Logic;Dependable Software Engineering: Theories, Tools, and Applications;2016
3. Efficiently Deciding μ-Calculus with Converse over Finite Trees;ACM Transactions on Computational Logic;2015-03-21
4. Static analysis of XML security views and query rewriting;Information and Computation;2014-11
5. Fuzzy XML Reasoning;Fuzzy XML Data Management;2013-11-26