Aditya Malik, Nalini Ratha, et al.
CAI 2024
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.
Aditya Malik, Nalini Ratha, et al.
CAI 2024
Wang Zhang, Subhro Das, et al.
ICASSP 2025
Shashank Ahire, Melissa Guyre, et al.
CUI 2025
Fearghal O'Donncha, Albert Akhriev, et al.
Big Data 2021