Login / Signup
Brief Announcement: Sustainable Blockchains through Proof of eXercise.
Ali Shoker
Published in:
PODC (2018)
Keyphrases
</>
theorem proving
linear logic
database
information retrieval
case study
management system
cost effective