Relating the bounded arithmetic and polynomial time hierarchies (Q1899144)

From MaRDI portal
Revision as of 06:09, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Relating the bounded arithmetic and polynomial time hierarchies
scientific article

    Statements

    Relating the bounded arithmetic and polynomial time hierarchies (English)
    0 references
    0 references
    4 October 1995
    0 references
    0 references
    finite axiomatizability
    0 references
    bounded arithmetic
    0 references
    polynomial time hierarchy
    0 references