Elementary Algebraic Specifications of the Rational Complex Numbers

DOI10.1007/11780274_24zbMath1132.68485OpenAlexW1583180546MaRDI QIDQ5757936

Jan A. Bergstra, J. V. Tucker

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_24

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (6)

A process calculus with finitary comprehended terms ⋮ On the algebra of structured specifications ⋮ Meadows and the equational specification of division ⋮ Division safe calculation in totalised fields ⋮ Equations for formally real meadows ⋮ Parallel Processes with Implicit Computational Capital

This page was built for publication: Elementary Algebraic Specifications of the Rational Complex Numbers