KNOWLEDGE COMPLEXITY OF INTERACTIVE PROOF-SYSTEMS.

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1985, Pages 291-304

  Goldwasser, Shafi ^a   Micali, Silvio ^a   Rackoff, Charles ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE PROOF SYSTEMS; KNOWLEDGE COMPLEXITY; THEOREM PROVING;

COMPUTER METATHEORY;

EID: 0021941417     PISSN: 07349025     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/22145.22178     Document Type: Conference Paper

References (21)