A Tutorial on Type-Based Termination (Q5191089)

From MaRDI portal
scientific article; zbMATH DE number 5587920
Language Label Description Also known as
English
A Tutorial on Type-Based Termination
scientific article; zbMATH DE number 5587920

    Statements

    title
    A Tutorial on Type-Based Termination (English)
    0 references
    author
    Gilles Barthe
    0 references
    Benjamin Grégoire
    0 references
    Colin Riba
    0 references
    publication date
    28 July 2009
    0 references

    Identifiers

    zbMATH DE Number
    5587920
    0 references
    OpenAlex ID
    W1661875115
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5191089&oldid=35120755"
    Powered by MediaWiki