Bitcoin Cooperative Proof-of-Stake.

Stephen L. Reed

Published in: CoRR (2014)

Keyphrases

cooperative
theorem prover
credit card
theorem proving
multi agent
cooperative learning
distributed problem solving
linear logic
social networks
multi agent systems
digital libraries
data sets
information systems
reinforcement learning
natural deduction