scientific article; zbMATH DE number 412256

MaRDI QIDQ3135849zbMATH OpenFDO

Authors C. Lund

Publication date 13 September 1993

zbMATH Keywords

interactive proof systemsalternating Turing machinesrandomized interactive proofs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Recommendations

• scientific article; zbMATH DE number 4106274
• scientific article; zbMATH DE number 66620
• Interactive and probabilistic proof-checking
• Algebraic methods for interactive proof systems
• On the power of interaction

Cited in

(1)

• Proving properties of interactive proofs by a generalized counting technique

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3135849)