An arithmetical characterization of NP (Q1171050)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An arithmetical characterization of NP
scientific article

    Statements

    An arithmetical characterization of NP (English)
    0 references
    0 references
    0 references
    1982
    0 references
    non-deterministic computability
    0 references
    arithmetical representability
    0 references
    non- deterministic Turing machine
    0 references
    universal quantifiers
    0 references
    existential quantifiers
    0 references
    quantifier prefix
    0 references

    Identifiers