Space Complexity in Propositional Calculus (Q3149864)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Space Complexity in Propositional Calculus
scientific article

    Statements

    Space Complexity in Propositional Calculus (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    29 September 2002
    0 references
    proof complexity
    0 references
    resolution
    0 references
    Frege systems
    0 references
    polynomial calculus
    0 references
    space complexity
    0 references
    upper bounds
    0 references
    lower bounds
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references