Login / Signup

A Decidable Characterization of Locally Testable Tree Languages.

Thomas PlaceLuc Segoufin
Published in: ICALP (2) (2009)
Keyphrases
  • tree languages
  • tree automata
  • first order logic
  • context free
  • positive data
  • knowledge base
  • software engineering