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
The Formal System of Dijkstra and Scholten - MaRDI portal

The Formal System of Dijkstra and Scholten (Q2945729)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Formal System of Dijkstra and Scholten
scientific article

    Statements

    title
    The Formal System of Dijkstra and Scholten (English)
    0 references
    author
    Camilo Rocha
    0 references
    publication date
    14 September 2015
    0 references

    Identifiers

    zbMATH DE Number
    6481955
    0 references
    OpenAlex ID
    W2188347971
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2945729&oldid=36200708"
    Powered by MediaWiki