Simple Equational Specifications of Rational Arithmetic
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...
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Өгүүллэг |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Discrete Mathematics & Theoretical Computer Science
2001-01-01
|
| Цуврал: | Discrete Mathematics & Theoretical Computer Science |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://dmtcs.episciences.org/280/pdf |