C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
TontineCoin: Murder-Based Proof-of-Stake.
Chris Pollett
Thomas H. Austin
Katerina Potika
Justin Rietz
Published in:
DAPPS (2020)
Keyphrases
</>
theorem proving
theorem prover
automated theorem proving
mathematical proofs
three dimensional
linear logic
natural deduction
formal proof
real time
data sets
neural network
social networks
decision making
reinforcement learning
digital libraries