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
Abstract Interpretation with Infinitesimals - MaRDI portal

Abstract Interpretation with Infinitesimals (Q2796053)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstract Interpretation with Infinitesimals
scientific article

    Statements

    title
    Abstract Interpretation with Infinitesimals (English)
    0 references
    author
    Kengo Kido
    0 references
    Swarat Chaudhuri
    0 references
    Ichiro Hasuo
    0 references
    publication date
    23 March 2016
    0 references

    Identifiers

    zbMATH DE Number
    6559860
    0 references
    OpenAlex ID
    W2296029809
    0 references
    arXiv ID
    1511.00825
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2796053&oldid=33552712"
    Powered by MediaWiki