%0 Journal Article
%A Finkel, Olivier
%T Highly undecidable problems for infinite computations
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2009
%P 339-364
%V 43
%N 2
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2009001/
%R 10.1051/ita/2009001
%G en
%F ITA_2009__43_2_339_0