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

Dynamically Meaningful Latent Representations of Dynamical Systems

Imran Nasim, Michael E. Henderson

Mathematics

Paper

Effective generation of compressed stationary Gaussian fields

Robert Manson Sawko, Malgorzata Zimon

SIAM/ASA JUQ

Conference paper

Better on wafer performance and mask manufacturability of contacts with no or non-traditional serifs

Donald Samuels, Ian Stobert

SPIE Photomask Technology + EUV Lithography 2007

Paper

Exploring context and content links in social media: A latent space method

Guo-Jun Qi, Charu Aggarwal, et al.

IEEE TPAMI

View all publications