Laxmi Parida, Pier F. Palamara, 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
Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Conference paper
Surface light-induced changes in thin polymer films
Andrew Skumanich
SPIE Optics Quebec 1993
Juliann Opitz, Robert D. Allen, et al.
Microlithography 1998