Unification of Hypergraph \lambda -Terms.

Alimujiang Yasen Kazunori Ueda

Published in: TTCS (2017)

Keyphrases

fixed point
higher order
database
neural network
information retrieval
learning algorithm
knowledge base
decision trees
fuzzy sets
theorem proving