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
From Separation Logic to Hyperedge Replacement and Back - MaRDI portal

From Separation Logic to Hyperedge Replacement and Back (Q3540425)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From Separation Logic to Hyperedge Replacement and Back
scientific article

    Statements

    title
    From Separation Logic to Hyperedge Replacement and Back (English)
    0 references
    author
    Mike Dodds
    0 references
    publication date
    20 November 2008
    0 references

    Identifiers

    zbMATH DE Number
    5369740
    0 references
    OpenAlex ID
    W1516610660
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3540425&oldid=35081524"
    Powered by MediaWiki