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
Product programs and relational program logics - MaRDI portal

Product programs and relational program logics (Q2374302)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Product programs and relational program logics
scientific article

    Statements

    title
    Product programs and relational program logics (English)
    0 references
    author
    Gilles Barthe
    0 references
    Juan Manuel Crespo
    0 references
    César Kunz
    0 references
    publication date
    15 December 2016
    0 references
    describes a project that uses
    PrivateLR
    0 references
    TVOC
    0 references
    SymDiff
    0 references
    CoVaC
    0 references

    Identifiers

    zbMATH DE Number
    6663637
    0 references
    OpenAlex ID
    W2472147697
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2374302&oldid=36294910"
    Powered by MediaWiki