Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.
Paper
Linear unification
Abstract
A unification algorithm is described which tests a set of expressions for unifiability and which requires time and space which are only linear in the size of the input. © 1978.
Related
Matthew A Grayson
Journal of Complexity
Conference paper
Byzantine-Robust Decentralized Federated Learning
Minghong Fang, Zifan Zhang, et al.
CCS 2024
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics