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), p. 329-339 / Harvested from Numdam

Zhang, Guo-Qiang

Domain mu-calculus
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003), p. 337-364 / Harvested from Numdam

Seidl, Helmut ; NiwiŃski, Damian

On distributive fixed-point expressions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999), p. 427-446 / Harvested from Numdam

Bradfield, J. C.

Fixpoint alternation : arithmetic, transition systems, and the binary tree
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999), p. 341-356 / Harvested from Numdam