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
Automatic generation of precise and useful commutativity conditions - MaRDI portal

Automatic generation of precise and useful commutativity conditions (Q2324210)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic generation of precise and useful commutativity conditions
scientific article

    Statements

    title
    Automatic generation of precise and useful commutativity conditions (English)
    0 references
    author
    Kshitij Bansal
    0 references
    Eric Koskinen
    0 references
    Omer Tripp
    0 references
    publication date
    16 September 2019
    0 references
    describes a project that uses
    Solidity
    0 references
    CVC4
    0 references

    Identifiers

    zbMATH DE Number
    7105315
    0 references
    OpenAlex ID
    W2799184718
    0 references
    arXiv ID
    1802.08748
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2324210&oldid=33500427"
    Powered by MediaWiki