Moutaz Fakhry, Yuri Granik, et al.
SPIE Photomask Technology + EUV Lithography 2011
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
Richard M. Karp, Raymond E. Miller
Journal of Computer and System Sciences
F. Odeh, I. Tadjbakhsh
Archive for Rational Mechanics and Analysis
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems