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
Ensuring termination by typability - MaRDI portal

Ensuring termination by typability (Q2500473)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ensuring termination by typability
scientific article

    Statements

    title
    Ensuring termination by typability (English)
    0 references
    author
    Davide Sangiorgi
    0 references
    Yu-xin Deng
    0 references
    publication date
    16 August 2006
    0 references
    zbMATH Keywords
    \(\pi\)-calculus
    0 references
    types
    0 references
    termination
    0 references
    term rewriting techniques
    0 references

    Identifiers

    zbMATH DE Number
    5047243
    0 references
    OpenAlex ID
    W2072572819
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2500473&oldid=34886176"
    Powered by MediaWiki