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
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic - MaRDI portal

Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic (Q3179308)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
scientific article

    Statements

    title
    Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic (English)
    0 references
    author
    Makoto Tatsuta
    0 references
    Quang Loc Le
    0 references
    Wei-Ngan Chin
    0 references
    publication date
    21 December 2016
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B70
    0 references
    03B25
    0 references
    03F30
    0 references
    zbMATH DE Number
    6667504
    0 references
    OpenAlex ID
    W2528592500
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3179308&oldid=36296864"
    Powered by MediaWiki