Login / Signup

Deciding definability in FO2(<h, <v) on trees.

Thomas PlaceLuc Segoufin
Published in: Log. Methods Comput. Sci. (2015)
Keyphrases
  • first order logic
  • decision trees
  • propositional logic
  • tree structure
  • tree construction
  • fixed point
  • relational model
  • transitive closure
  • tree structures
  • database
  • tree models
  • compact representations
  • tree nodes