• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Interpolant tree automata and their application in Horn clause verification.

Bishoksan KafleJohn P. Gallagher
Published in: VPT@ETAPS (2016)
Keyphrases
  • tree automata
  • horn clauses
  • information extraction
  • sufficient conditions