%0 Journal Article %A Autebert, Jean-Michel %A Beauquier, Joffroy %A Boasson, Luc %A Latteux, Michel %T Indécidabilité de la condition IRS %J RAIRO. Informatique théorique %D 1982 %P 129-138 %V 16 %N 2 %I EDP-Sciences %G fr %F ITA_1982__16_2_129_0