Repository | Series | Buch | Kapitel
Elementary algebraic specifications of the rational complex numbers
pp. 459-475
Abstrakt
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.
Seiten: 459-475
DOI: 10.1007/11780274_24
Referenz:
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.