Login / Signup

The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem.

Thomas ColcombetChristof Löding
Published in: CSL (2008)
Keyphrases
  • tree languages
  • tree automata
  • positive data
  • context free
  • database
  • decision rules
  • tree patterns