Liste des citations dans Numdam pour : Fixpoint alternation : arithmetic, transition systems, and the binary tree

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

Foustoucos, Eugénie ; Guessarian, Irène

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009) no. 1, pp. 1-21.

Philosophia Scientiae, Tome 8 (2004) no. 2, pp. 211-223.

Arnold, André

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