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

Finkel, Olivier

Some problems in automata theory which depend on the models of set theory
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 45 (2011), p. 383-397 / Harvested from Numdam