Conference paper
SUMMARIZING GRAPHS BY REGULAR EXPRESSIONS.
Mark N. Wegman
POPL 1983
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
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum