Elementary explicit types and polynomial time operations (Q3632522)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Elementary explicit types and polynomial time operations
scientific article

    Statements

    Elementary explicit types and polynomial time operations (English)
    0 references
    0 references
    0 references
    11 June 2009
    0 references
    conservativeness
    0 references
    proof theory
    0 references
    Feferman's explicit mathematics
    0 references
    applicative theories
    0 references
    naming
    0 references
    feasible operations
    0 references
    computability on the set of binary words
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references