TY - JOUR AU - Autebert, Jean-Michel AU - Beauquier, Joffroy AU - Boasson, Luc AU - Latteux, Michel TI - Indécidabilité de la condition IRS JO - RAIRO. Informatique théorique PY - 1982 DA - 1982/// SP - 129 EP - 138 VL - 16 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1982__16_2_129_0/ UR - https://zbmath.org/?q=an%3A0493.68075 UR - https://www.ams.org/mathscinet-getitem?mr=674924 LA - fr ID - ITA_1982__16_2_129_0 ER -