Login / Signup

Over-approximating Descendants by Synchronized Tree Languages.

Yohan BoichutJacques ChabinPierre Réty
Published in: RTA (2013)
Keyphrases
  • tree languages
  • tree automata
  • context free
  • positive data
  • database
  • tree patterns
  • low level
  • object oriented
  • directed acyclic graph
  • rooted trees