Login / Signup
A decidable characterization of locally testable tree languages
Thomas Place
Luc Segoufin
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
tree languages
tree automata
context free
positive data
first order logic
tree patterns
dynamic programming
database
knowledge base
semi supervised
object oriented
positive and negative