(Q4800823)

English

Arthur–Merlin protocol

interactive proof system in computational complexity theory

Statements

Identifiers

0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit