Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
Elementary algebraic specifications of the rational complex numbers
Jan A. Bergstra, John V Tucker
pp. 459-475
From the range of techniques available for algebraic specifications we select a core set of features which we define to be the elementary algebraic specifications. These include equational specifications with hidden functions and sorts and initial algebra semantics. We give an elementary equational specification of the field operations and conjugation operator on the rational complex numbers ℚ(i) and discuss some open problems.
Publication details
DOI: 10.1007/11780274_24
Full citation:
Bergstra, J. A. , Tucker, J.V. (2006)., Elementary algebraic specifications of the rational complex numbers, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 459-475.
This document is unfortunately not available for download at the moment.