On IP = PSPACE and Theorems with Narrow Proofs

• Authors: J. Hartmanis, R. Chang, D. Ranjan and P. Rohatgi.
• Cite as: In Current Trends in Theoretical Computer Science, G. Rozenberg and A. Salomaa, editors, pp. 484-493, World Scientific, 1993.
• Previous incarnations:
  • In Bulletin of the European Association for Theoretical Computer Science, 41:166-174, June 1990.
  • Technical Report 90-1129, Department of Computer Science, Cornell University, May 1990.
• Most readable version: book version.
• Status: complete.
• Online: book version available as a PDF file (with embedded Type 1 fonts): w-book.pdf.

Abstract: