A note on equality in finite‐type arithmetic (Q5108108)
From MaRDI portal
scientific article; zbMATH DE number 7194881
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on equality in finite‐type arithmetic |
scientific article; zbMATH DE number 7194881 |
Statements
A note on equality in finite‐type arithmetic (English)
0 references
29 April 2020
0 references
