TY - JOUR AU - Aguzzi, Gianni TI - The theory of invertible algorithms JO - RAIRO. Informatique théorique PY - 1981 SP - 253 EP - 279 VL - 15 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1981__15_3_253_0/ LA - en ID - ITA_1981__15_3_253_0 ER -