Repository | Series | Book | Chapter

225406

Elementary algebraic specifications of the rational complex numbers

Jan A. BergstraJohn V Tucker

pp. 459-475

Abstract

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

Published in:

Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.

Pages: 459-475

DOI: 10.1007/11780274_24

Full citation:

Bergstra Jan A., Tucker John V (2006) „Elementary algebraic specifications of the rational complex numbers“, In: K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, 459–475.