Liste des citations dans Numdam pour : Highly undecidable problems for infinite computations

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

---