Work

Linear unification

Year: 1976

Type: conference-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.

Source: ACM Symposium on Theory of Computing (STOC)

DOI: 10.1145/800113.803646

Authors: M. S. Paterson, M. N. Wegman

Institutions: University of Warwick, IBM Research - Thomas J. Watson Research Center

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2293235079

FWCI: 2.985

Cites: 3

Cited by: 69

Related to: 10