Decidability of linearizabilities for relaxed data structures.

Chao Wang Yi Lv Peng Wu

Published in: Sci. China Inf. Sci. (2018)

Keyphrases

data structure
description logics
query answering
index structure
data types
decision procedures
optimal solution
knowledge representation
b tree
inverted index
bloom filter
efficient data structures
high dimensional
quadtree
suffix tree