Liste des citations dans Numdam pour : The μ-calculus alternation-depth hierarchy is strict on binary trees

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 4-5, pp. 329-339.

Zhang, Guo-Qiang

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 4, pp. 337-364.

Bradfield, J. C.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 4-5, pp. 341-356.

Seidl, Helmut ; NiwiŃski, Damian

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 4-5, pp. 427-446.