Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Algebraic Notions of Termination - MaRDI portal

Algebraic Notions of Termination (Q3003302)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic Notions of Termination
scientific article

    Statements

    title
    Algebraic Notions of Termination (English)
    0 references
    author
    Jules Desharnais
    0 references
    Bernhard Möller
    0 references
    Georg Struth
    0 references
    publication date
    26 May 2011
    0 references
    zbMATH Keywords
    idempotent semirings
    0 references
    Kleene algebras
    0 references
    omega algebras
    0 references
    divergence semirings
    0 references
    modal operators
    0 references
    wellfoundedness
    0 references
    Noetherity
    0 references
    rewriting theory
    0 references
    program analysis
    0 references
    program termination
    0 references

    Identifiers

    zbMATH DE Number
    5900055
    0 references
    arXiv ID
    1012.5803
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3003302&oldid=33585215"
    Powered by MediaWiki