Author:
Krebs Andreas,Straubing Howard
Publisher
Springer International Publishing
Reference11 articles.
1. Benedikt, M., Segoufin, L.: Regular tree languages definable in FO and in FO
$$_{\text{ mod }}$$
. ACM Trans. Comput. Log. 11(1) (2009)
2. Bojanczyk, M., Segoufin, L., Straubing, H.: Piecewise testable tree languages. Logical Methods in Computer Science 8(3) (2012)
3. Bojanczyk, M., Straubing, H., Walukiewicz, I.: Wreath products of forest algebras with applications to tree logics. Logical Methods in Computer Science 8(3) (2012)
4. Bojanczyk, M., Walukiewicz, I.: Characterizing EF and EX tree logics. Theor. Comput. Sci. 358(2–3), 255–272 (2006)
5. Bojanczyk, M., Walukiewicz, I.: Forest algebras. In: Flum, J., Grädel, E., Wilke, T. (eds.) Logic and Automata. Texts in Logic and Games, vol. 2, pp. 107–132. Amsterdam University Press (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. EF+EX Forest Algebras;Algebraic Informatics;2015