Author:
Benaim Saguy,Benedikt Michael,Charatonik Witold,Kieroński Emanuel,Lenhardt Rastislav,Mazowiecki Filip,Worrell James
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. J. Phil. Logic 27, 217–274 (1998)
2. Benaim, S., Benedikt, M., Lenhardt, R., Worrell, J.: Controlling the depth, size, and number of subtrees in two variable logic over trees. CoRR abs/1304.6925 (2013)
3. Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. J. ACM 55(2), 8:1–8:79 (2008)
4. Benedikt, M., Koch, C.: XPath Leashed. ACM Comput. Surv. 41(1), 3:1–3:54 (2008)
5. Benedikt, M., Lenhardt, R., Worrell, J.: Verification of two-variable logic revisited. In: QEST, pp. 114–123. IEEE (2012)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Trees;Fragments of First-Order Logic;2023-03-30
2. Transitivity;Fragments of First-Order Logic;2023-03-30
3. Equivalence and counting;Fragments of First-Order Logic;2023-03-30
4. Equivalence;Fragments of First-Order Logic;2023-03-30
5. Modalities;Fragments of First-Order Logic;2023-03-30