Author:
Bolduc Claude,Ktari Béchir
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: STOC 2004: Proc. of the 36th ACM symp. on Theory of computing, pp. 202–211. ACM, New York (2004)
2. Bloom, S.L., Ésik, Z.: Iteration theories: the equational logic of iterative processes. Springer, New York (1993)
3. Lecture Notes in Computer Science;C. Bolduc,2006
4. Bolduc, C., Ktari, B.: Visibly pushdown Kleene algebra. Technical Report DIUL-RR-0901, Laval university, QC, Canada (2009)
5. Lecture Notes in Computer Science;A. Bouajjani,1997
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献