Checking Computations in Polylogarithmic Time

László Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy. Checking Computations in Polylogarithmic Time. In Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, 6-8 May 1991, New Orleans, Louisiana, USA. pages 21-31, ACM, 1991.

Abstract

Abstract is missing.