Baihan Lin, Guillermo Cecchi, et al.
IJCAI 2023
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
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Giuseppe Romano, Aakrati Jain, et al.
ECTC 2025
Merve Unuvar, Yurdaer Doganata, et al.
CLOUD 2014