Author:
Duparc Jacques,Facchini Alessandro
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;L. Alberucci,2002
2. Arnold, A.: The μ-Calculus Alternation-Depth Hierarchy is Strict on Binary Trees. Theor. Inform. Appl. 33(4/5), 319–340 (1999)
3. Studies in Logic;A. Arnold,2001
4. Arnold, A., Niwinski, D.: Continuous separation of game languages. Fundamenta Informaticae 81(1-3), 19–28 (2008)
5. Bradfield, J.: The Modal μ-Calculus Alternation Hierarchy is Strict. Theor. Comput. Sci. 195(1), 133–153 (1998)