C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
TSO-to-TSO Linearizability Is Undecidable.
Chao Wang
Yi Lv
Peng Wu
Published in:
ATVA (2015)
Keyphrases
</>
np complete
datalog programs
databases
bayesian networks
data structure
domain specific
sufficient conditions