ARTHUR-MERLIN PROOFS. Merlin. Arthur. x L. a1 = random r1. a2 = P(x,r1) a3 = random r2 ... An Arthur-Merlin verifier has no private randomness: NONISO AM[k] ...
01 June 2001. IR/Submillimeter (non-ISO) Computing. Present ... DEC, both Ultrix and Alphas. HP's , HP_UX9.0 through 11.0. IBM's, AIX. Sun's, SunOS4 through 5.6 ...