Simple Equational Specifications of Rational Arithmetic

Abstract : We exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an error constant, or extra (hidden) sorts, or conditional equations. All of our work is elementary and self-contained.
Type de document :
Article dans une revue
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, 4 (2), pp.291-300
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00958963
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : jeudi 13 mars 2014 - 16:53:46
Dernière modification le : mercredi 29 novembre 2017 - 10:26:19
Document(s) archivé(s) le : vendredi 13 juin 2014 - 12:05:13

Fichier

dm040216.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00958963, version 1

Collections

Citation

Lawrence S. Moss. Simple Equational Specifications of Rational Arithmetic. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, 4 (2), pp.291-300. 〈hal-00958963〉

Partager

Métriques

Consultations de la notice

58

Téléchargements de fichiers

100