Login / Signup
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages.
Patricia M. Hill
Enea Zaffanella
Roberto Bagnara
Published in:
Theory Pract. Log. Program. (2004)
Keyphrases
</>
training data
reinforcement learning
small number
tree languages