Simple equational specifications of rational arithmetic.
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] (2001)
- Volume: 4, Issue: 2, page 291-300
- ISSN: 1365-8050
Access Full Article
top
How to cite
topMoss, Lawrence S.. "Simple equational specifications of rational arithmetic.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 4.2 (2001): 291-300. <http://eudml.org/doc/122034>.
@article{Moss2001,
author = {Moss, Lawrence S.},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
keywords = {hidden function symbols; abstract data types; specification of the rational numbers},
language = {eng},
number = {2},
pages = {291-300},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {Simple equational specifications of rational arithmetic.},
url = {http://eudml.org/doc/122034},
volume = {4},
year = {2001},
}
TY - JOUR
AU - Moss, Lawrence S.
TI - Simple equational specifications of rational arithmetic.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 2001
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 4
IS - 2
SP - 291
EP - 300
LA - eng
KW - hidden function symbols; abstract data types; specification of the rational numbers
UR - http://eudml.org/doc/122034
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.