Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes (Q3392941)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
scientific article

    Statements

    Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes (English)
    0 references
    0 references
    0 references
    18 August 2009
    0 references

    Identifiers