Login / Signup
Wreath Products of Forest Algebras, with Applications to Tree Logics.
Mikolaj Bojanczyk
Howard Straubing
Igor Walukiewicz
Published in:
LICS (2009)
Keyphrases
</>
tree structure
modal logic
expressive power
binary tree
index structure
tree construction
data structure
tree models
tree nodes
data sets
multi dimensional
temporal reasoning
spatial reasoning
tree structures