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
Fixpoint logics over hierarchical structures - MaRDI portal

Fixpoint logics over hierarchical structures (Q2429724)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fixpoint logics over hierarchical structures
scientific article

    Statements

    title
    Fixpoint logics over hierarchical structures (English)
    0 references
    author
    Stefan Göller
    0 references
    Markus Lohrey
    0 references
    publication date
    1 April 2011
    0 references
    zbMATH Keywords
    parity games
    0 references
    \(\mu\)-calculus
    0 references
    hierarchical structures
    0 references
    model-checking
    0 references
    complexity
    0 references
    cites work
    Q4283233
    0 references
    Q4876640
    0 references
    Alternation
    0 references
    Q4385531
    0 references
    Q4501540
    0 references
    Q2754072
    0 references
    Q4764625
    0 references
    Q4298260
    0 references
    Q4941166
    0 references
    Q4472439
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68R10
    0 references
    68Q25
    0 references
    zbMATH DE Number
    5873544
    0 references
    OpenAlex ID
    W2058101812
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2429724&oldid=39077629"
    Powered by MediaWiki