Mostra el registre d'ítem simple
Average case analysis of Robinson's unification algorithm with two different variables
dc.contributor.author | Cases Muñoz, Rafael |
dc.contributor.author | Díaz Cort, Josep |
dc.contributor.author | Steyaert, Jean-Marc |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2020-05-22T17:14:25Z |
dc.date.available | 2020-05-22T17:14:25Z |
dc.date.issued | 1988 |
dc.identifier.citation | Cases, R.; Diaz, J.; Steyaert, J. "Average case analysis of Robinson's unification algorithm with two different variables". 1988. |
dc.identifier.uri | http://hdl.handle.net/2117/188711 |
dc.description | This paper deals with the average complexity of Robinson's unification algorithm, for a simple case of unification; trees with all internal nodes of the same type, and two kinds of leaves. |
dc.description.abstract | We compute the average complexity of Robinson's unification algorithm on the case of binary functions with two variables. When restricting the input to unifiable instances, the resulting complexity is linear on the size of the input. |
dc.format.extent | 8 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-88-8 |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.lcsh | Computer programming |
dc.subject.other | Unification |
dc.subject.other | Average analysis |
dc.title | Average case analysis of Robinson's unification algorithm with two different variables |
dc.type | External research report |
dc.subject.lemac | Programació (Ordinadors) |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.rights.access | Open Access |
local.identifier.drac | 28486153 |
dc.description.version | Postprint (published version) |
local.citation.author | Cases, R.; Diaz, J.; Steyaert, J. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [139]
-
Reports de recerca [1.107]