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

From MaRDI portal
Revision as of 12:08, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an 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=23841835"
    Powered by MediaWiki