Login / Signup
A Completion Method to Decide Reachability in Rewrite Systems.
Guillaume Burel
Gilles Dowek
Ying Jiang
Published in:
FroCos (2015)
Keyphrases
</>
machine learning
relational databases
evaluation method