Formalizing synthetic domain theory. The basic definitions (Q1961922)

From MaRDI portal
Revision as of 17:36, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Formalizing synthetic domain theory. The basic definitions
scientific article

    Statements

    title
    Formalizing synthetic domain theory. The basic definitions (English)
    0 references
    author
    Bernhard Reus
    0 references
    publication date
    30 January 2000
    0 references
    Mathematics Subject Classification ID
    68Q55
    0 references
    68T15
    0 references
    03B70
    0 references
    zbMATH DE Number
    1394795
    0 references
    zbMATH Keywords
    synthetic domain theory
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1961922&oldid=14403791"
    Powered by MediaWiki