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

Conference paper

Compound semiconductor surface and interface problems in liquid phase epitaxy (lpe)

M.B. Small, R.M. Potemski

Proceedings of SPIE 1989

Conference paper

Neave effect also occurs with Tausworthe sequences

Shu Tezuka

WSC 1991

Paper

The classification of one-sided Markov chains

Jonathan Ashley, Brian Marcus, et al.

Ergodic Theory and Dynamical Systems

Paper

A Direct Method for Solving Linear Systems

M. Tismenetsky

International Journal of Computer Mathematics

View all publications