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
Capturing relativized complexity classes with Lindström quantifiers - MaRDI portal

Capturing relativized complexity classes with Lindström quantifiers (Q2702579)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Capturing relativized complexity classes with Lindström quantifiers
scientific article

    Statements

    3 September 2001
    0 references
    descriptive complexity theory
    0 references
    complexity classes
    0 references
    ordered structures
    0 references
    abstract model theory
    0 references
    Lindström quantifiers
    0 references
    0 references
    Capturing relativized complexity classes with Lindström quantifiers (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references