Probabilistically checkable proofs and codes (Q3096563)

From MaRDI portal





scientific article; zbMATH DE number 5971062
Language Label Description Also known as
default for all languages
No label defined
    English
    Probabilistically checkable proofs and codes
    scientific article; zbMATH DE number 5971062

      Statements

      Identifiers