Login / Signup

Unital Anti-Unification: Type and Algorithms.

David M. CernaTemur Kutsia
Published in: FSCD (2020)
Keyphrases
  • orders of magnitude
  • learning algorithm
  • computational cost
  • computational complexity
  • lower bound
  • significant improvement
  • text mining
  • knowledge acquisition
  • computationally efficient