Login / Signup
Proofs of Work - the Engines of Trust.
Alex Biryukov
Published in:
ERCIM News (2017)
Keyphrases
</>
trust model
trust evaluation
theorem prover
social capital
virtual teams
information retrieval
knowledge base
theorem proving
decision procedures
website design
internet commerce
formal proofs
trust propagation
reputation models
equational theories