Simple equational specifications of rational arithmetic.
Moss, Lawrence S.
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only], Tome 4 (2001), p. 291-300 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Access to full text
Publié le : 2001-01-01
EUDML-ID : urn:eudml:doc:122034 
@article{01699528,
     title = {Simple equational specifications of rational arithmetic.},
     journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
     volume = {4},
     year = {2001},
     pages = {291-300},
     zbl = {0993.68061},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01699528}
}

Moss, Lawrence S. Simple equational specifications of rational arithmetic.. Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only], Tome 4 (2001) pp. 291-300. http://gdmltest.u-ga.fr/item/01699528/