Publication
Journal of Computer and System Sciences
Paper

Linear unification

View publication

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.

Date

01 Jan 1978

Publication

Journal of Computer and System Sciences

Authors

Topics

Share