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
Certification of Nontermination Proofs - MaRDI portal

Certification of Nontermination Proofs (Q2914748)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Certification of Nontermination Proofs
scientific article

    Statements

    title
    Certification of Nontermination Proofs (English)
    0 references
    author
    Christian Sternagel
    0 references
    René Thiemann
    0 references
    publication date
    20 September 2012
    0 references
    zbMATH Keywords
    nontermination
    0 references
    formalization
    0 references
    interactive theorem proving
    0 references
    term rewriting
    0 references

    Identifiers

    zbMATH DE Number
    6084494
    0 references
    OpenAlex ID
    W203185895
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2914748&oldid=32184201"
    Powered by MediaWiki