Pages that link to "Item:Q5089612"
From MaRDI portal
The following pages link to Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers (Q5089612):
Displaying 5 items.
- On design and implementation of a generic number type for real algebraic number computations based on expression dags (Q655162) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Simple equational specifications of rational arithmetic (Q2768448) (← links)
- Logical Approaches to Computational Barriers (Q5898801) (← links)