Partial arithmetical data types of rational numbers and their equational specification (Q2168794)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial arithmetical data types of rational numbers and their equational specification |
scientific article |
Statements
Partial arithmetical data types of rational numbers and their equational specification (English)
0 references
26 August 2022
0 references
partial data types
0 references
rational numbers with division
0 references
common meadows
0 references
involutive meadows
0 references
fracterm calculus
0 references
0 references
0 references
0 references
