Login / Signup

On Prover-Efficient Public-Coin Emulation of Interactive Proofs.

Gal ArnonGuy N. Rothblum
Published in: ITC (2021)
Keyphrases
  • theorem proving
  • theorem prover
  • real time
  • automated theorem proving
  • database
  • databases
  • data structure
  • lightweight
  • computationally efficient
  • computer graphics