Definability, decidability, complexity (Q1817073)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Definability, decidability, complexity
scientific article

    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://portal.mardi4nfdi.de/w/index.php?title=Item:Q1817073&oldid=34171085"
    Powered by MediaWiki