• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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