PSPACE is provable by two provers in one round

Volumn , Issue , 1991, Pages 110-115

  Cai, Jin Yi ^a   Condon, Anne ^a   Lipton, Richard J ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE PROOFS; PROOF SYSTEMS; PSAPCE;

AUTOMATA THEORY;

EID: 0026373973     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)