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
Complexity Results for Modal Dependence Logic - MaRDI portal

Complexity Results for Modal Dependence Logic (Q3586056)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity Results for Modal Dependence Logic
scientific article

    Statements

    title
    Complexity Results for Modal Dependence Logic (English)
    0 references
    author
    Peter Lohmann
    0 references
    Heribert Vollmer
    0 references
    publication date
    3 September 2010
    0 references
    zbMATH Keywords
    dependence logic
    0 references
    satisfiability problem
    0 references
    computational complexity
    0 references
    poor man's logic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B60
    0 references
    03B45
    0 references
    68Q25
    0 references
    zbMATH DE Number
    5779261
    0 references
    OpenAlex ID
    W1573233002
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3586056&oldid=32785363"
    Powered by MediaWiki