PUMA
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.
 
 
Abstract
(English)
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
Resolution


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