Using information systems to solve recursive domain equations (Q808273)

From MaRDI portal
Revision as of 01:17, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Using information systems to solve recursive domain equations
scientific article

    Statements

    title
    Using information systems to solve recursive domain equations (English)
    0 references
    author
    Kim Guldstrand Larsen
    0 references
    Glynn Winskel
    0 references
    publication date
    1991
    0 references
    zbMATH Keywords
    information systems
    0 references
    recursive domain equations
    0 references
    complete partial order
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q55
    0 references
    03D80
    0 references
    06B35
    0 references
    zbMATH DE Number
    4209620
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q808273&oldid=25800541"
    Powered by MediaWiki