Skip to main content
Research
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.

Related

View all publications