%0 Journal Article %A Fariñas Del Cerro, Luis %T Les modalités de la correction totale %J RAIRO. Informatique théorique %D 1982 %P 349-363 %V 16 %N 4 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1982__16_4_349_0/ %G fr %F ITA_1982__16_4_349_0