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
Explicit Muller Games are PTIME - MaRDI portal

Explicit Muller Games are PTIME (Q3165962)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Explicit Muller Games are PTIME
scientific article

    Statements

    author
    Florian Horn
    0 references
    publication date
    19 October 2012
    0 references
    zbMATH Keywords
    games
    0 references
    authomata
    0 references
    model checking
    0 references
    Muller games
    0 references
    game complexity
    0 references
    title
    Explicit Muller Games are PTIME (English)
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q25
    0 references
    91A80
    0 references
    91A05
    0 references
    91A43
    0 references
    zbMATH DE Number
    6096492
    0 references
    OpenAlex ID
    W2240543079
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3165962&oldid=36981177"
    Powered by MediaWiki