Interactive proofs with competing teams of no-signaling provers

First Page		Document Content
Date: 2013-07-24 10:11:20 NEXPTIME IP NP Soundness KeY Logic programming Interactive proof system Zero-knowledge proof Theoretical computer science Applied mathematics Complexity classes		Interactive proofs with competing teams of no-signaling provers Add to Reading List Source URL: cjtcs.cs.uchicago.edu Download Document from Source Website File Size: 298,91 KB Share Document on Facebook

	1 Doc. Math. J. DMV Games, Complexity Classes, and Approximation Algorithms Joan Feigenbaum DocID: 1oKqW - View Document
	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Query Answering in the Description Logic S ⋆ Meghyn Bienvenu1 , Thomas Eiter2 , Carsten Lutz1 , 2 ˇ DocID: 1kbPF - View Document
	A Casual Tour Around a Circuit Complexity Bound∗ arXiv:1111.1261v1 [cs.CC] 4 Nov 2011 Ryan Williams† DocID: 18Jpc - View Document
	Interactive proofs with competing teams of no-signaling provers DocID: 13Xht - View Document
	A multiprover interactive proof system for the local Hamiltonian problem Joseph Fitzsimons∗ Thomas Vidick† Abstract DocID: 13PJR - View Document