Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers.

Gregorio de Miguel Casado, Juan Manuel Garca Chamizo, Mara Teresa Signes Pont

Browse the full CiE paper archive.