Automatizing termination proofs of recursively defined functions (Q1346629)

From MaRDI portal
Revision as of 11:39, 23 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Automatizing termination proofs of recursively defined functions
scientific article

    Statements

    title
    Automatizing termination proofs of recursively defined functions (English)
    0 references
    author
    Pascal Manoury
    0 references
    Marianne Simonot
    0 references
    publication date
    6 April 1995
    0 references
    zbMATH Keywords
    ProPRe program synthesis system
    0 references
    cites work
    Q3477935
    0 references
    Q3108200
    0 references

    Identifiers

    zbMATH DE Number
    741091
    0 references
    OpenAlex ID
    W1990295079
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1346629&oldid=34141270"
    Powered by MediaWiki