Login / Signup
The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem.
Thomas Colcombet
Christof Löding
Published in:
CSL (2008)
Keyphrases
</>
tree languages
tree automata
positive data
context free
database
decision rules
tree patterns