A Decidable Logic for Tree Data-Structures with Measurements.
Xiaokang QiuYanjun WangPublished in: VMCAI (2019)
Keyphrases
- data structure
- tree structure
- monadic second order logic
- index structure
- b tree
- expressive power
- linked list
- kd trees
- logic programming
- linear time temporal logic
- first order logic
- wavelet tree
- r tree
- suffix tree
- tree structures
- tree automata
- regular expressions
- binary tree
- classical logic
- data types
- hash table
- inverted index
- logical framework
- modal logic
- model checking
- query language