Login / Signup

A decidable characterization of locally testable tree languages

Thomas PlaceLuc 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