Login / Signup

Multi-prover proof of retrievability.

Maura B. PatersonDouglas R. StinsonJalaj Upadhyay
Published in: J. Math. Cryptol. (2018)
Keyphrases
  • theorem proving
  • theorem prover
  • automated theorem proving
  • proof search
  • data sets
  • neural network
  • real world
  • databases
  • search engine
  • first order logic
  • inference rules