Login / Signup
Simplifying proofs of linearisability using layers of abstraction.
Brijesh Dongol
John Derrick
Published in:
CoRR (2013)
Keyphrases
</>
high level
multi layer
formal proofs
theorem proving
theorem prover
formal proof
mathematical proofs
decision theoretic planning
single layer
computer vision
databases
probabilistic model
three dimensional
multimedia
multiple layers
data mining
database