Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence
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
Ira Pohl
Artificial Intelligence
Merve Unuvar, Yurdaer Doganata, et al.
CLOUD 2014
Gang Liu, Michael Sun, et al.
ICLR 2025