Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 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
David Cash, Dennis Hofheinz, et al.
Journal of Cryptology
Yi Zhou, Parikshit Ram, et al.
ICLR 2023
Amir Ali Ahmadi, Raphaël M. Jungers, et al.
SICON