Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (Q3434629)

From MaRDI portal
Revision as of 20:08, 4 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
scientific article

    Statements

    title
    Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (English)
    0 references
    DOI
    10.1007/11737414_9
    0 references
    author
    Gilles Barthe
    0 references
    Julien Forest
    0 references
    David Pichardie
    0 references
    Vlad Rusu
    0 references
    publication date
    2 May 2007
    0 references
    zbMATH DE Number
    5148616
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3434629&oldid=16739984"
    Powered by MediaWiki