Publication
STOC 1976
Conference paper

Linear unification

Download paper

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.

Date

03 May 1976

Publication

STOC 1976

Authors

Resources

Share