C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Simplifying Linearizability Proofs with Reduction and Abstraction.
Tayfun Elmas
Shaz Qadeer
Ali Sezgin
Omer Subasi
Serdar Tasiran
Published in:
TACAS (2010)
Keyphrases
</>
high level
reinforcement learning
theorem proving
reduction method
database
mathematical proofs
multimedia
data structure
theorem prover
data reduction
attribute reduction
natural deduction
formal proof
formal proofs