Generator induction in order sorted algebras (Q749219)

From MaRDI portal
Revision as of 01:08, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Generator induction in order sorted algebras
scientific article

    Statements

    title
    Generator induction in order sorted algebras (English)
    0 references
    author
    Olaf Owe
    0 references
    Ole-Johan Dahl
    0 references
    publication date
    1991
    0 references
    zbMATH Keywords
    algebraic specification
    0 references
    functional programming
    0 references
    order sorted algebras
    0 references
    generator induction
    0 references

    Identifiers

    DOI
    10.1007/BF01211433
    0 references
    zbMATH DE Number
    4172408
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q749219&oldid=25765754"
    Powered by MediaWiki