Number of quantifiers is better than number of tape cells (Q1164622)

From MaRDI portal
Revision as of 10:43, 14 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Number of quantifiers is better than number of tape cells
scientific article

    Statements

    Number of quantifiers is better than number of tape cells (English)
    0 references
    0 references
    1981
    0 references
    complexity measure
    0 references
    quantifier number
    0 references
    quantifier rank
    0 references
    uniform sequence of first order formulas
    0 references
    Turing machine
    0 references
    lower bounds
    0 references
    Ehrenfeucht- Fraisse games
    0 references

    Identifiers