Login / Signup

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata.

Lukás HolíkOndrej LengálJirí SimácekTomás Vojnar
Published in: ATVA (2011)
Keyphrases
  • tree automata
  • high level
  • databases
  • finite automata
  • machine learning
  • hidden markov models
  • tree languages