TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake.

Tuyet Duong Alexander Chepurnoy Lei Fan Hong-Sheng Zhou

Published in: BCC@AsiaCCS (2018)

Keyphrases

theorem prover
linear logic
information retrieval
web services
natural deduction
logical rules