Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
The notion of a most general algebraic specification of an arithmetical datatype of characteristic zero is introduced. Three examples of such specifications are given. A preference is formulated for a specification by means of infinitely many equations which can be presented via a finite number of...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
Alexandru Ioan Cuza University of Iasi
2020-08-01
|
| Edice: | Scientific Annals of Computer Science |
| Témata: | |
| On-line přístup: | https://www.info.uaic.ro/en/sacs_articles/most-general-algebraic-specifications-for-an-abstract-datatype-of-rational-numbers/ |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|