IP = PSPACE

Read it

English

• 7 sections
• 0 figures
• 0 equations
• 12 references
• cited by 0 here
• difficulty 5 of 5
• the publisher's page

Contents

• 1Introduction
• 2*Quantified Boolean Formulas*
• 3*The Arithmetization of QBF*
• 4*Interactive Proofs for PSPACE Languages*
• 5Space-Bounded Verifiers

Its place here

• citesThe Knowledge Complexity of Interactive Proof-Systems