Write a small paper that describes the main results and proof techniques of the following paper: IP = PSPACE (Adi Shamir, 1992)
chris-martin / gatech-cs-4510-automata-and-complexity Goto Github PK
View Code? Open in Web Editor NEWAutomata and Complexity, Spring 2008