Geodesic
Simple Equational Specifications of Rational Arithmetic
Discrete mathematics & theoretical computer science, Tome 4 (2000-2001) no. 2.

Voir la notice de l'article provenant de la source Episciences

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. 
@article{DMTCS_2001_4_2_a8,
     author = {Moss, Lawrence S.},
     title = {Simple {Equational} {Specifications} of {Rational} {Arithmetic}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {4},
     number = {2},
     year = {2000-2001},
     doi = {10.46298/dmtcs.280},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.280/}
}
TY  - JOUR
AU  - Moss, Lawrence S.
TI  - Simple Equational Specifications of Rational Arithmetic
JO  - Discrete mathematics & theoretical computer science
PY  - 2000-2001
VL  - 4
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.280/
DO  - 10.46298/dmtcs.280
LA  - en
ID  - DMTCS_2001_4_2_a8
ER  - 
%0 Journal Article
%A Moss, Lawrence S.
%T Simple Equational Specifications of Rational Arithmetic
%J Discrete mathematics & theoretical computer science
%D 2000-2001
%V 4
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.280/
%R 10.46298/dmtcs.280
%G en
%F DMTCS_2001_4_2_a8
Moss, Lawrence S. Simple Equational Specifications of Rational Arithmetic. Discrete mathematics & theoretical computer science, Tome 4 (2000-2001) no. 2. doi : 10.46298/dmtcs.280. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.280/

Cité par Sources :