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
Decidability and syntactic control of interference - MaRDI portal

Decidability and syntactic control of interference (Q2481977)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decidability and syntactic control of interference
scientific article

    Statements

    title
    Decidability and syntactic control of interference (English)
    0 references
    author
    Yanyan Li
    0 references
    publication date
    15 April 2008
    0 references
    zbMATH Keywords
    interference control
    0 references
    idealized Algol
    0 references
    game semantics
    0 references
    multitape automata
    0 references

    Identifiers

    zbMATH DE Number
    5264286
    0 references
    OpenAlex ID
    W1975887328
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2481977&oldid=35049836"
    Powered by MediaWiki