Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals
| Authors | |
|---|---|
| Publication date | 21-08-2014 |
| Edition | 2 |
| Number of pages | 18 |
| Publisher | Amsterdam: Informatics Institute, University of Amsterdam |
| Organisations |
|
| Abstract | Integer arithmetic is specified according to three views: unary, binary, and decimal notation. In each case we find a ground confluent and terminating datatype defining rewrite system. In each case the resulting datatype is a canonical term algebra which extends a corresponding canonical term algebra for natural numbers. For each view, we also consider an alternative rewrite system. |
| Document type | Report |
| Note | Version 2. Arxiv.org also provides versions 1 (12 Jun 2014), 3 (3 Feb 2016) and 4 (8 Jul 2016). |
| Language | English |
| Published at | http://arxiv.org/abs/1406.3280v2 |
| Downloads |
2457611
(Final published version)
|
| Permalink to this page | |
