Pages that link to "Item:Q2768448"
From MaRDI portal
The following pages link to Simple equational specifications of rational arithmetic (Q2768448):
Displaying 5 items.
- Meadows and the equational specification of division (Q1006649) (← links)
- Division safe calculation in totalised fields (Q1015383) (← links)
- Equational fragments of systems for arithmetic. (Q1771883) (← links)
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers (Q5089612) (← links)
- Logical Approaches to Computational Barriers (Q5898801) (← links)