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

Alexander Chepurnoy Tuyet Duong Lei Fan Hong-Sheng Zhou

Published in: IACR Cryptol. ePrint Arch. (2017)

Keyphrases

theorem prover
theorem proving
information systems
data sets
proof planning
search engine
case study
face recognition
optimal solution
computer science
expert systems
information technology
logic programming
natural deduction
complete axiomatization
geometry theorem proving