Gang Liu, Michael Sun, et al.
ICLR 2025
Paper
A note on the parallel complexity of anti-unification
Abstract
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.
Related
Sarath Swaminathan, Nathaniel Park, et al.
NeurIPS 2025
Masami Akamine, Jitendra Ajmera
IEICE Trans Inf Syst
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence