%0 Journal Article %A Gori, Roberta %T Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta %J Bollettino della Unione matematica italiana %D 2000 %P 351-354 %V 3A %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_3_a24/ %G it %F BUMI_2000_8_3A_3_a24