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
Automated Implicit Computational Complexity Analysis (System Description) - MaRDI portal

Automated Implicit Computational Complexity Analysis (System Description) (Q3541694)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated Implicit Computational Complexity Analysis (System Description)
scientific article

    Statements

    title
    Automated Implicit Computational Complexity Analysis (System Description) (English)
    0 references
    author
    Martin Avanzini
    0 references
    Georg Moser
    0 references
    Andreas Schnabl
    0 references
    publication date
    27 November 2008
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    68Q25
    0 references
    68Q42
    0 references
    zbMATH DE Number
    5374235
    0 references
    OpenAlex ID
    W86123047
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3541694&oldid=35082789"
    Powered by MediaWiki