论文信息 - Linear unification

Linear unification

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.

Mike Paterson | Mark N. Wegman | M. Paterson | M. Wegman

[1] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .

[2] Robert E. Tarjan,et al. Efficiency of a Good But Not Linear Set Union Algorithm , 1972, JACM.

[3] Alberto Martelli,et al. Unification in linear time and space: a structured presentation , 1976 .