The relativized relationship between probabilistically checkable debate systems, IP and PSPACE

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 1995
Source ID
10.1016/0020-0190(94)00185-2

Entities

People

  • Alexander Russell
  • Ravi Sundaram

Organizations

  • Air Force Office of Scientific Research
  • Defense Advanced Research Projects Agency