Journal of Computer and System Sciences

Paper

01 Jan 1978

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.

Related

Paper

On the distance to the zero-set of a polynomial

Matthew A Grayson

Journal of Complexity

Paper

A generic grouping algorithm and its quantitative analysis

Arnon Amir, Michael Lindenbaum

IEEE Transactions on Pattern Analysis and Machine Intelligence

Paper

An information statistics approach to data stream and communication complexity

Ziv Bar-Yossef, T.S. Jayram, et al.

Journal of Computer and System Sciences

Paper

On the complexity of some geometric problems in unbounded dimension

Nimrod Megiddo

Journal of Symbolic Computation

View all publications