Lower bounds for RAMs and quantifier elimination (Q5495851)

From MaRDI portal
Revision as of 04:06, 7 March 2024 by Import240305080351 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 6327015
Language Label Description Also known as
English
Lower bounds for RAMs and quantifier elimination
scientific article; zbMATH DE number 6327015

    Statements

    Lower bounds for RAMs and quantifier elimination (English)
    0 references
    0 references
    7 August 2014
    0 references
    RAM
    0 references
    diagonalization
    0 references
    lower bounds
    0 references
    nondeterministic computation
    0 references
    quantifier elimination
    0 references

    Identifiers