AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (Q3021959)

From MaRDI portal
Revision as of 14:32, 14 September 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q129356504, #quickstatements; #temporary_batch_1726319863356)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS
scientific article

    Statements

    title
    AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (English)
    0 references
    author
    Fairouz Kamareddine
    0 references
    François Monin
    0 references
    publication date
    22 June 2005
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    68N18
    0 references
    68Q60
    0 references
    zbMATH DE Number
    2177748
    0 references
    Wikidata QID
    Q129356504
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3021959&oldid=37836037"
    Powered by MediaWiki