Author:
Caucal Didier,Rispal Chloé
Publisher
Springer International Publishing
Reference10 articles.
1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Babai, L. (ed.) 36th STOC ACM Proceedings, pp. 202–211 (2004)
2. Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification on infinite structures. In: Handbook of Process Algebra, pp. 545–623 (2001)
3. Lecture Notes in Computer Science;D Caucal,1996
4. Caucal, D.: Boolean algebras of unambiguous context-free languages. In: Hariharan, R., Mukund, M., Vinay, V. (eds.) 28th FSTTCS, Dagstuhl Research Server (2008)
5. Lecture Notes in Computer Science;D Caucal,2018