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

Foustoucos, Eugénie ; Guessarian, Irène

Inf-datalog, modal logic and complexities
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009), p. 1-21 / Harvested from Numdam

Bibliographie
Philosophia Scientiae, Tome 8 (2004), p. 211-223 / Harvested from Numdam

Arnold, André

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