Printable PDF
Department of Mathematics,
University of California San Diego

****************************

Math 268 - Mathematical Logic: Computability and Randomness

Sam Buss

UCSD

Interactive Proofs and Arthur-Merlin protocols

April 8, 2011

3:00 PM

AP&M B412

****************************