William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
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
Robert F. Gordon, Edward A. MacNair, et al.
WSC 1985
Da-Ke He, Ashish Jagmohan, et al.
ISIT 2007
I.K. Pour, D.J. Krajnovich, et al.
SPIE Optical Materials for High Average Power Lasers 1992