Which arithmetical data types admit fracterm flattening?

DOI10.7561/SACS.2022.1.87MaRDI QIDQ6588074FDOQ6588074

Authors: J. A. Bergstra, John V. Tucker 

Publication date: 15 August 2024

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Recommendations

• Partial arithmetical data types of rational numbers and their equational specification
• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• The rational numbers as an abstract data type
• Fracpairs and fractions over a reduced commutative ring
• Transformation of fractions into simple fractions in divisive meadows

zbMATH Keywords

common meadowrational numbersequational specificationinitial algebra semanticsfractermfracterm flattening

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Which arithmetical data types admit fracterm flattening?

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