Complexity of deciding the first-order theory of real closed fields (Q2277024)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity of deciding the first-order theory of real closed fields
scientific article

    Statements

    Complexity of deciding the first-order theory of real closed fields (English)
    0 references
    0 references
    1991
    0 references
    See the review in Zbl 0702.12006.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    decidability algorithm
    0 references
    complexity
    0 references
    0 references
    0 references