Non-deterministic exponential time has two-prover interactive protocols

IEEE Transactions on Industry Applications

Volumn 27, Issue 1 pt 1, 1991, Pages 16-25

  Babai, Laszlo ^a   Fortnow, Lance ^a   Lund, Carsten ^a  

^a UNIVERSITY OF CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--THEOREM PROVING;

INTERACTIVE PROOF SYSTEMS;

COMPUTER METATHEORY;

EID: 0025791374     PISSN: 00939994     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)