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
Definability, decidability, complexity - MaRDI portal

Definability, decidability, complexity (Q1817073)

From MaRDI portal





scientific article; zbMATH DE number 951955
Language Label Description Also known as
English
Definability, decidability, complexity
scientific article; zbMATH DE number 951955

    Statements

    title
    Definability, decidability, complexity (English)
    0 references
    publication date
    1 July 1997
    0 references
    zbMATH Keywords
    survey
    0 references
    definability
    0 references
    first-order logic
    0 references
    decidability
    0 references
    computational complexity
    0 references
    Hilbert's tenth problem
    0 references
    author
    Patrick Cégielski
    0 references
    cites work
    Q5824680
    0 references
    Q4293543
    0 references
    Q3800030
    0 references
    Q4697160
    0 references
    Q4156744
    0 references
    Q4124795
    0 references
    Q3218118
    0 references
    Q5665241
    0 references

    Identifiers

    DOI
    10.1007/BF02127802
    0 references
    Mathematics Subject Classification ID
    03B25
    0 references
    03-02
    0 references
    03D15
    0 references
    68Q25
    0 references
    03B10
    0 references
    11U05
    0 references
    68Q15
    0 references
    zbMATH DE Number
    951955
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q1817073&oldid=43344760"
    Powered by MediaWiki