Da-Ke He, Ashish Jagmohan, et al.
ISIT 2007
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
Conference paper
Patterning of highly conducting polyaniline films
T. Graham, A. Afzali, et al.
Microlithography 2000
Imran Nasim, Michael E. Henderson
Mathematics
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010