Terminating Non-disjoint Combined Unification.

Serdar Erbatur Andrew M. Marshall Christophe Ringeissen

Published in: LOPSTR (2020)

Keyphrases

pairwise
higher order
information retrieval
machine learning
feature selection
digital libraries
data analysis
lower bound
theorem proving
combining multiple