Login / Signup

Wreath Products of Forest Algebras, with Applications to Tree Logics.

Mikolaj BojanczykHoward StraubingIgor 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