Checking computations in polylogarithmic time1991-01-010 OA AI DOI:10.1145/103418.103428原文链接原文求助分享收藏摘要 En