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

From MaRDI portal
Revision as of 17:42, 21 March 2024 by Openalex240321050300 (talk | contribs) (Set OpenAlex properties.)
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