Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers

DOI10.7561/SACS.2020.1.1MaRDI QIDQ5089612

Jan A. Bergstra

Publication date: 19 July 2022

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

zbMATH Keywords

algebraic specificationarithmetic datatypesfracterm decomposition operationspoly-infex operations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Partial arithmetical data types of rational numbers and their equational specification

This page was built for publication: Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers