Istituto di Scienza e Tecnologie dell'Informazione     
Martelli A., Montanari U. Unification in linear time and space: a structured presentation. Internal note IEI-B76-16, 1976.
In its simplest form, the unification problem can be expressed as follows: Given two terms t1 and t2, with some variables, find, if it exists, the simplest substitution as to make them equal. The resulting term is called the most general unifier and is unique up to variable renaming.
Subject Unification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional