Author:
Abriola Sergio,Figueira Diego,Figueira Santiago
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Baelde, D., Lunel, S., Schmitz, S.: A sequent calculus for a modal logic on finite data trees. In: 25th EACSL Annual Conference on Computer Science Logic, CSL 29, 1 September 2016, Marseille, France, pp. 32:1–32:16, August 2016
2. Bojańczyk, M., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data trees and XML reasoning. JACM 56(3), 13 (2009)
3. Bojańczyk, M., David, C., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on data words. ACM Trans. Comput. Log. 12(4) 2010
4. Lecture Notes in Computer Science;B Bollig,2012
5. Lecture Notes in Computer Science;S Demri,2007
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concrete domains in logics;ACM SIGLOG News;2021-07
2. PLAYING WITH REPETITIONS IN DATA WORDS USING ENERGY GAMES;LOG METH COMPUT SCI;2020
3. Decidable XPath Fragments in the Real World;Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '19;2019
4. Playing with Repetitions in Data Words Using Energy Games;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. Satisfiability of Xpath on data trees;ACM SIGLOG News;2018-04-30