Login / Signup
Deciding definability in FO2(<h, <v) on trees.
Thomas Place
Luc 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