Optimal proof systems imply complete sets for promise classes (Q1398371)

From MaRDI portal
Revision as of 04:12, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Optimal proof systems imply complete sets for promise classes
scientific article

    Statements

    title
    Optimal proof systems imply complete sets for promise classes (English)
    0 references
    author
    Johannes Köbler
    0 references
    Jochen Messner
    0 references
    Jacobo Toran
    0 references
    publication date
    29 July 2003
    0 references
    zbMATH DE Number
    1956115
    0 references
    zbMATH Keywords
    Optimal proof systems
    0 references
    Complete sets
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1398371&oldid=26199565"
    Powered by MediaWiki