Which arithmetical data types admit fracterm flattening?

DOI10.7561/SACS.2022.1.87MaRDI QIDQ6588074zbMATH OpenFDO

Authors J. A. Bergstra, John V. Tucker

Publication date 15 August 2024

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

zbMATH Keywords

common meadowrational numbersequational specificationinitial algebra semanticsfractermfracterm flattening

Mathematics Subject Classification ID

Computer science (68-XX)

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

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)