Remarks on recursion versus diagonalization and exponentially difficult problems (Q1156483)

From MaRDI portal





scientific article; zbMATH DE number 3735132
Language Label Description Also known as
English
Remarks on recursion versus diagonalization and exponentially difficult problems
scientific article; zbMATH DE number 3735132

    Statements

    Remarks on recursion versus diagonalization and exponentially difficult problems (English)
    0 references
    0 references
    1981
    0 references
    lower bounds
    0 references
    limited halting problems
    0 references
    Presburger arithmetic
    0 references

    Identifiers