Termination by completion (Q757069)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Termination by completion
scientific article

    Statements

    title
    Termination by completion (English)
    0 references
    author
    Françoise Bellegarde
    0 references
    Pierre Lescanne
    0 references
    publication date
    1990
    0 references
    zbMATH Keywords
    well-foundedness
    0 references
    completion
    0 references
    termination
    0 references

    Identifiers

    DOI
    10.1007/BF01810293
    0 references
    zbMATH DE Number
    4193125
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q757069&oldid=34848412"
    Powered by MediaWiki