Treffer: A Defining interactive proofs and arguments: A.2 On computationally bounded provers: An overview.
Title:
A Defining interactive proofs and arguments: A.2 On computationally bounded provers: An overview.
Authors:
Source:
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p237-241, 5p
Subject Terms:
Database:
Complementary Index