Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
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