The rational numbers as an abstract data type
From MaRDI portal
Publication:3546326
DOI10.1145/1219092.1219095zbMATH Open1292.68105OpenAlexW2099937335MaRDI QIDQ3546326FDOQ3546326
Authors: J. A. Bergstra, John V. Tucker 
Publication date: 21 December 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1219092.1219095
Recommendations
- Simple equational specifications of rational arithmetic
- Logical Approaches to Computational Barriers
- Elementary Algebraic Specifications of the Rational Complex Numbers
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
- Meadows and the equational specification of division
Cited In (31)
- Elementary Algebraic Specifications of the Rational Complex Numbers
- Partial arithmetical data types of rational numbers and their equational specification
- Rational terms and rational numbers
- Imperative process algebra and models of parallel computation
- Instruction sequence processing operators
- Which arithmetical data types admit fracterm flattening?
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- Fracpairs and fractions over a reduced commutative ring
- Logical Approaches to Computational Barriers
- Inversive meadows and divisive meadows
- Transformation of fractions into simple fractions in divisive meadows
- A process calculus with finitary comprehended terms
- MetiTarski: An automatic theorem prover for real-valued special functions
- An abstract data type for real numbers
- Straight-line instruction sequence completeness for total calculation on cancellation meadows
- Datatype defining rewrite systems for naturals and integers
- Meadows and the equational specification of division
- Towards an enumeration of finite common meadows
- Strolling through common meadows
- Division by zero in common meadows
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
- Division by zero in non-involutive meadows
- Arithmetical datatypes with true fractions
- Simple equational specifications of rational arithmetic
- On system rollback and totalized fields: an algebraic approach to system change
- Logical models of mathematical texts: the case of conventions for division by zero.
- The structure of finite meadows
- Equations for formally real meadows
- Eager Equality for Rational Number Arithmetic
- Division safe calculation in totalised fields
- The wheel of rational numbers as an abstract data type
This page was built for publication: The rational numbers as an abstract data type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3546326)
