Author:
Fortnow Lance,Lund Carsten
Reference24 articles.
1. L. Babai. Trading Group Theory for Randomness. In Proc. 17th STOC, pages 421–429, 1985.
2. L. Babai, L. Fortnow, and C. Lund. Non-deterministic Exponential Time has Two-Prover Interactive Protocols. In Proc. 31st FOCS, 1990.
3. L. Babai and S. Moran. Arthur-Merlin games: A Randomized Proof System, and a Hierarchy of Complexity Classes. JCSS, 36 2:254–276, 1988.
4. M. Ben-Or, S. Goldwasser, J. Kilian, and A. Wigderson. Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions. In Proc. 20th STOC, pages 113–131, 1988.
5. A. Chandra, D. Kozen, and L. Stockmeyer. Alternation. JACM, 28 1:114–133, 1981.