Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) (Q4649532)

From MaRDI portal





scientific article; zbMATH DE number 6109819
Language Label Description Also known as
English
Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk)
scientific article; zbMATH DE number 6109819

    Statements

    22 November 2012
    0 references
    complexity classes
    0 references
    weak formal theories
    0 references
    propositional proof systems
    0 references
    0 references
    Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) (English)
    0 references

    Identifiers