Partial arithmetical data types of rational numbers and their equational specification (Q2168794)

From MaRDI portal
Revision as of 23:24, 29 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Partial arithmetical data types of rational numbers and their equational specification
scientific article

    Statements

    title
    Partial arithmetical data types of rational numbers and their equational specification (English)
    0 references
    author
    J. V. Tucker
    0 references
    Jan A. Bergstra
    0 references
    publication date
    26 August 2022
    0 references
    zbMATH Keywords
    partial data types
    0 references
    rational numbers with division
    0 references
    common meadows
    0 references
    involutive meadows
    0 references
    fracterm calculus
    0 references
    cites work
    Q3912001
    0 references
    Module algebra
    0 references
    Partial abstract types
    0 references
    Q3731650
    0 references
    Q6104576
    0 references
    Q3221381
    0 references
    Q2722024
    0 references
    Q5812175
    0 references
    Q4023900
    0 references
    Q3773301
    0 references
    Q3241190
    0 references
    Q4857386
    0 references
    Q4934287
    0 references
    Q4002149
    0 references

    Identifiers

    zbMATH DE Number
    7576527
    0 references
    Wikidata QID
    Q114159191
    0 references
    OpenAlex ID
    W4289261119
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2168794&oldid=36847678"
    Powered by MediaWiki