Matthew A Grayson
Journal of Complexity
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
Fausto Bernardini, Holly Rushmeier
Proceedings of SPIE - The International Society for Optical Engineering
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering