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
Termination of Isabelle Functions via Termination of Rewriting - MaRDI portal

Termination of Isabelle Functions via Termination of Rewriting (Q3088004)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Termination of Isabelle Functions via Termination of Rewriting
scientific article

    Statements

    title
    Termination of Isabelle Functions via Termination of Rewriting (English)
    0 references
    author
    Alexander Krauss
    0 references
    Christian Sternagel
    0 references
    René Thiemann
    0 references
    Carsten Fuhs
    0 references
    Jürgen Giesl
    0 references
    publication date
    17 August 2011
    0 references
    describes a project that uses
    Isabelle
    0 references
    CeTA
    0 references
    LCF
    0 references
    CoLoR
    0 references
    Isabelle/HOL
    0 references
    Tyrolean
    0 references
    AProVE
    0 references
    Coq
    0 references
    HOL
    0 references

    Identifiers

    zbMATH DE Number
    5940066
    0 references
    OpenAlex ID
    W1836046881
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3088004&oldid=35242903"
    Powered by MediaWiki