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
Abstractions of data types - MaRDI portal

Abstractions of data types (Q2491212)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstractions of data types
scientific article

    Statements

    title
    Abstractions of data types (English)
    0 references
    publication date
    26 May 2006
    0 references
    zbMATH Keywords
    Data type
    0 references
    Universal algebra
    0 references
    Verification
    0 references
    Abstraction
    0 references
    describes a project that uses
    STeP
    0 references
    SPIN
    0 references

    Identifiers

    zbMATH DE Number
    5027377
    0 references
    OpenAlex ID
    W2001532353
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2491212&oldid=39119797"
    Powered by MediaWiki