Author:
Droste Manfred,Pibaljommee Bundit
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Alur, R., Arenas, M., Barceló, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. Logical Methods in Computer Science 4(4:11), 1–44 (2008)
2. Alur, R., Madhusudan, P.: Adding nesting structure to words. Journal of the ACM 56(3), article 16, 1–43 (2009)
3. Birkhoff, B., von Neumann, J.: The logic of quantum mechanics. Annals of Math. 37, 823–843 (1936)
4. Lecture Notes in Computer Science;B. Bollig,2009
5. Berstel, J., Reutenauer, C.: Rational Series and Their Languages. Monographs in Theoretical Computer Science, vol. 12. Springer (1988)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献