An Evaluation Based Theorem Prover (Q3681965)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An Evaluation Based Theorem Prover
scientific article

    Statements

    title
    An Evaluation Based Theorem Prover (English)
    0 references
    author
    Franco Sirovich
    0 references
    Pierpaolo Degano
    0 references
    publication date
    1985
    0 references
    zbMATH DE Number
    3904001
    0 references
    zbMATH Keywords
    inductionless proofs
    0 references
    symbolic computation
    0 references
    iterative functions
    0 references
    symbolic evaluation
    0 references
    Wikidata QID
    Q52677725
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3681965&oldid=27968746"
    Powered by MediaWiki