%0 Journal Article
%A Arsac, Jacques
%T Algorithmes pour vérifier la conjecture de Syracuse
%J RAIRO. Informatique théorique et applications
%D 1987
%P 3-9
%V 21
%N 1
%I EDP-Sciences
%U https://www.numdam.org/item/ITA_1987__21_1_3_0/
%G fr
%F ITA_1987__21_1_3_0