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
Parameterized Complexity of CTL - MaRDI portal

Parameterized Complexity of CTL (Q2799205)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Parameterized Complexity of CTL
scientific article

    Statements

    title
    Parameterized Complexity of CTL (English)
    0 references
    author
    Martin Lück
    0 references
    Arne Meier
    0 references
    Irina Schindler
    0 references
    publication date
    8 April 2016
    0 references
    zbMATH Keywords
    parameterized complexity
    0 references
    temporal logic
    0 references
    computation tree logic
    0 references
    Courcelle's theorem
    0 references

    Identifiers

    zbMATH DE Number
    6566806
    0 references
    Wikidata QID
    Q57998290
    0 references
    OpenAlex ID
    W791469391
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2799205&oldid=36240877"
    Powered by MediaWiki