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

From MaRDI portal
Revision as of 04:44, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
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