Discrete Mathematics & Theoretical Computer Science, Vol 4, No 2 (2001)

Font Size:  Small  Medium  Large
DMTCS vol 4 no 2 (2001), pp. 291-300

Discrete Mathematics & Theoretical Computer Science


Volume 4 n° 2 (2001), pp. 291-300

author:Lawrence S. Moss
title:Simple Equational Specifications of Rational Arithmetic
keywords:equational specification, hidden function symbols, rational numbers
abstract: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.
reference: Lawrence S. Moss (2001), Simple Equational Specifications of Rational Arithmetic, Discrete Mathematics and Theoretical Computer Science 4, pp. 291-300
bibtex:For a corresponding BibTeX entry, please consider our BibTeX-file.
ps.gz-source:dm040216.ps.gz (33 K)
ps-source:dm040216.ps (107 K)
pdf-source:dm040216.pdf (78 K)

The first source gives you the `gzipped' PostScript, the second the plain PostScript and the third the format for the Adobe accrobat reader. Depending on the installation of your web browser, at least one of these should (after some amount of time) pop up a window for you that shows the full article. If this is not the case, you should contact your system administrator to install your browser correctly.

Due to limitations of your local software, the two formats may show up differently on your screen. If eg you use xpdf to visualize pdf, some of the graphics in the file may not come across. On the other hand, pdf has a capacity of giving links to sections, bibliography and external references that will not appear with PostScript.

Automatically produced on Tue Oct 30 12:57:35 CET 2001 by gustedt