C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Bounded TSO-to-SC Linearizability Is Decidable.
Chao Wang
Yi Lv
Peng Wu
Published in:
SOFSEM (2016)
Keyphrases
</>
first order logic
neural network
computer vision
data sets
learning algorithm
evolutionary algorithm
transitive closure