Login / Signup
A Decidable Characterization of Locally Testable Tree Languages.
Thomas Place
Luc Segoufin
Published in:
ICALP (2) (2009)
Keyphrases
</>
tree languages
tree automata
first order logic
context free
positive data
knowledge base
software engineering