Proof Systems In Blockchains: A Survey.

Georgios Drakopoulos Eleanna Kafeza Haseena Al Katheeri

Published in: SEEDA-CECNSM (2019)

Keyphrases

complex systems
data sets
case study
distributed systems
objective function
data structure
management system
software development
intelligent systems
knowledge based systems
theorem proving