Conference paper
Can hospitals afford digital storage for imagery?
W.F. Cody, H.M. Gladney, et al.
SPIE Medical Imaging 1994
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
M. Tismenetsky
International Journal of Computer Mathematics
Fernando Martinez, Juntao Chen, et al.
AAAI 2025
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences