Proof terms for infinitary rewriting, progress report.

Carlos Lombardi Alejandro Ríos Roel de Vrijer

Published in: CoRR (2014)

Keyphrases

machine learning
computer vision
data sets
real world
data mining
feature selection
co occurrence