Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
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
A.R. Conn, Nick Gould, et al.
Mathematics of Computation
Conference paper
Wavefront and caustic surfaces of refractive laser beam shaper
David L. Shealy, John A. Hoffnagle
SPIE Optical Engineering + Applications 2007
Y.Y. Li, K.S. Leung, et al.
J Combin Optim