C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Designing Proof of Transaction Puzzles for Cryptocurrency.
Taotao Li
Parhat Abla
Mingsheng Wang
Qianwen Wei
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
theorem proving
theorem prover
first order logic
geometry theorem proving
database
natural deduction
concurrency control
real time
information systems
constraint satisfaction
artificial intelligence
decision making
transaction processing
real time database systems
linear logic