Login / Signup

Existential monadic second order logic on random rooted trees.

Alexander E. HolroydAvi LevyMoumanti PodderJoel Spencer
Published in: Discret. Math. (2019)
Keyphrases
  • rooted trees
  • tree structures
  • monadic second order logic
  • tree mining
  • expressive power
  • database
  • data structure
  • relational databases
  • data model
  • first order logic
  • query answering
  • regular expressions
  • tree patterns