C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Interpolant tree automata and their application in Horn clause verification.
Bishoksan Kafle
John P. Gallagher
Published in:
VPT@ETAPS (2016)
Keyphrases
</>
tree automata
horn clauses
information extraction
sufficient conditions