scientific article; zbMATH DE number 412256

zbMATH Open0782.68046MaRDI QIDQ3135849FDOQ3135849

Authors: C. Lund 

Publication date: 13 September 1993

Title of this publication is not available (Why is that?)

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

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)

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)