Characterising polynomial time computable functions using theories with weak set existence principles (Q2843916)

From MaRDI portal





scientific article; zbMATH DE number 6201779
Language Label Description Also known as
English
Characterising polynomial time computable functions using theories with weak set existence principles
scientific article; zbMATH DE number 6201779

    Statements

    27 August 2013
    0 references
    0 references
    0 references
    Characterising polynomial time computable functions using theories with weak set existence principles (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references