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

RAIRO. Theoretical Informatics and Applications, Tome 43 (2009) no. 2, pp. 339-364

---