A Generic Logic for Proving Linearizability (Extended Version).

Artem Khyzha Alexey Gotsman Matthew J. Parkinson

Published in: CoRR (2016)

Keyphrases

logic programming
real time
data mining
learning algorithm
domain specific
modal logic
predicate logic
derivation rules
databases
neural network
multiscale
general purpose
classical logic
defeasible logic
epistemic logic
natural deduction