Login / Signup

Generalizing the Paige-Tarjan algorithm by abstract interpretation.

Francesco RanzatoFrancesco Tapparo
Published in: Inf. Comput. (2008)
Keyphrases
  • matching algorithm
  • databases
  • open source
  • data management
  • tree structure