Login / Signup

ProveDoc: A Blockchain Based Proof of Existence with Proof of Storage.

Sireesha ChiliveriJyostna GrandhiMahesh Uttam PatilP. R. Lakshmi EswariMagesh Ethirajan
Published in: ICIT (2019)
Keyphrases
  • theorem proving
  • learning environment
  • theorem prover
  • storage space
  • linear logic
  • proof planning
  • data sets
  • databases
  • machine learning
  • information systems
  • multimedia
  • sufficient conditions
  • proof search