Prev Up
Go backward to 2.2 Naming Conventions for Specifications in Note M-6
Go up to 2 Basic Datatypes

2.3 Representations of Numbers in Note M-6

The specifications of natural numbers, integers and the rational numbers in Note M-6 [RM99a] include the following representations:

CoFI Note: M-7 -- Version: 0.2 -- 13 April 1999.
Comments to

Prev Up