The complexity of logical theories (Q1159661)

From MaRDI portal
Revision as of 01:32, 14 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): journals/tcs/Berman80, #quickstatements; #temporary_batch_1731543907597)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The complexity of logical theories
scientific article

    Statements

    The complexity of logical theories (English)
    0 references
    0 references
    1980
    0 references
    encoding computations of alternating Turing machines
    0 references
    upper and lower bounds
    0 references
    Presburger arithmetic
    0 references
    theory of reals with addition
    0 references
    time versus space problem
    0 references
    complexity measure
    0 references
    alternations
    0 references

    Identifiers