S. Hougardy;H. J. Prömel;A. Steger
-;-;-
Cryptography 2000±10
Informatics - 10 Years Back. 10 Years Ahead.
Probabilistically Checkable Proofs Over the Reals
Electronic Notes in Theoretical Computer Science (ENTCS)