John S. Lew
Mathematical Biosciences
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
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering