Simple Equational Specifications of Rational Arithmetic
| Autor: | Lawrence S. Moss |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2001 |
| Předmět: | |
| Zdroj: | Discrete Mathematics & Theoretical Computer Science, Vol 4, Iss 2 (2001) |
| Druh dokumentu: | article |
| ISSN: | 1462-7264 1365-8050 |
| Popis: | 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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|