Simple equational specifications of rational arithmetic

MaRDI QIDQ2768448zbMATH OpenFDO

Authors Lawrence S. Moss

Publication date 23 April 2002

Published in Discrete Mathematics and Theoretical Computer Science. DMTCS (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/122034, http://www.emis.de/journals/DMTCS/volumes/abstracts/dm040216.abs.html

zbMATH Keywords

abstract data typeshidden function symbolsspecification of the rational numbers

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• The rational numbers as an abstract data type
• Elementary Algebraic Specifications of the Rational Complex Numbers
• Logical Approaches to Computational Barriers
• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• scientific article; zbMATH DE number 1617296

Cited in

(9)

• Meadows and the equational specification of division
• Division safe calculation in totalised fields
• Equational fragments of systems for arithmetic.
• scientific article; zbMATH DE number 3883588 (Why is no real title available?)
• The rational numbers as an abstract data type
• scientific article; zbMATH DE number 566082 (Why is no real title available?)
• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• Elementary Algebraic Specifications of the Rational Complex Numbers
• Logical Approaches to Computational Barriers

This page was built for publication: Simple equational specifications of rational arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2768448)