Predicative programming Part I (Q3723675)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Predicative programming Part I
scientific article

    Statements

    title
    Predicative programming Part I (English)
    0 references
    author
    Eric C. R. Hehner
    0 references
    publication date
    1984
    0 references
    zbMATH Keywords
    semantics
    0 references
    specification
    0 references
    first-order predicate
    0 references
    predicate calculus
    0 references

    Identifiers

    DOI
    10.1145/69610.357988
    0 references
    zbMATH DE Number
    3954248
    0 references
    OpenAlex ID
    W2062251861
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3723675&oldid=32887834"
    Powered by MediaWiki