A logic of blockchain updates.

Kai Brünnler Dandolo Flumini Thomas Studer

Published in: J. Log. Comput. (2020)

Keyphrases

logic programming
modal logic
classical logic
multi valued
predicate logic
case study
multiscale
database
data mining
machine learning
artificial intelligence
website
knowledge representation
programming language
automated reasoning