Author:
Arenas Marcelo,Barceló Pablo,Libkin Leonid
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference35 articles.
1. Alur, R., Arenas, M., Barceló, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. Log. Methods Comput. Sci. 4(4), (2008)
2. Alur, R., Chaudhuri, S., Madhusudan, P.: A fixpoint calculus for local and global program flows. In: POPL 2006, pp. 153–165
3. Alur, R., Chaudhuri, S., Madhusudan, P.: Languages of nested trees. In: CAV 2006, pp. 329–342
4. Alur, R., Etessami, K., Madhusudan, P.: A temporal logic of nested calls and returns. In: TACAS’04, pp. 467–481
5. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: STOC’04, pp. 202–211
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献