Conference paper
Optimization of real phase-mask performance
F.M. Schellenberg, M. Levenson, et al.
BACUS Symposium on Photomask Technology and Management 1991
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
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Chai Wah Wu
Linear Algebra and Its Applications