Arnold.L. Rosenberg
Journal of the ACM
The anti-unifier is the dual notion to the unifier, i.e., it is the most specific term that has the input terms as instances. We show that the problem of anti-unification is in NC, in contrast to unification that is known to be P-complete. © 1992 Kluwer Academic Publishers.
Arnold.L. Rosenberg
Journal of the ACM
S. Winograd
Journal of the ACM
Saeel Sandeep Nachane, Ojas Gramopadhye, et al.
EMNLP 2024
Kenneth L. Clarkson, Elad Hazan, et al.
Journal of the ACM