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