Mostrar o rexistro simple do ítem
Algoritmos de unificación ecuacional en teorías xerais
dc.contributor.advisor | Freire Nistal, José Luis (1943-) | |
dc.contributor.author | Cachafeiro Chamosa, Luis Carlos | |
dc.contributor.other | Universidade da Coruña. Departamento de Computación | es_ES |
dc.date | 1994 | |
dc.date.accessioned | 2009-12-10T12:13:43Z | |
dc.date.available | 2009-12-10T12:13:43Z | |
dc.date.issued | 1994 | |
dc.identifier.isbn | 978-84-692-8215-1 | |
dc.identifier.uri | http://hdl.handle.net/2183/5581 | |
dc.description.abstract | [Resumen] SE PRESENTA UN NUEVO ALGORITMO UNIVERSAL DE E-UNIFICACION QUE ES COMPLETO EN TEORIAS GENERALES, UTILIZANDO EL ESQUEMA DE UNIFICACION DE PARES DE SUBSTITUCIONES, ESTE METODO ES UNA GENERALIZACION DE NARROWING PARA CONSERVAR LA COMPLETITUD EN AQUELLAS TEORIAS PARA LAS QUE ESTE NO ES COMPLETO. SE PRUEBA QUE ES TAMBIEN UNA ESPECIALIZACION DE RELAXED NARROWING (DOUGHERTY Y JOHANN) Y SE COMPRUEBA, MEDIANTE UNA IMPLEMENTACION EN CAML, QUE REDUCE UN NUMERO CONSIDERABLE DE SOLUCIONES REDUNDANTES Y DETECTA RAPIDAMENTE LA NO E-UNIFICABILIDAD. SE INTRODUCEN NUEVAS MEJORAS EN EL METODO Y SE MUESTRA FAVORABLE EN LA COMPARACION CON LOS OTROS METODOS GENERALES DE UNIFICACION ECUACIONAL SE INCORPORAN LOS PROGRAMAS EN CAML, LOS RESULTADOS Y OTROS RESULTADOS ORIGINALES EN ESTE CAMPO. | es_ES |
dc.language.iso | glg | es_ES |
dc.subject | Algoritmos | es_ES |
dc.title | Algoritmos de unificación ecuacional en teorías xerais | es_ES |
dc.type | info:eu-repo/semantics/doctoralThesis | es_ES |
dc.rights.thesis | Os titulares dos dereitos de propiedade intelectual autorizan a visualización do contido desta tese a través de Internet, así como a súa reproducción, gravación en soporte informático ou impresión para o seu uso privado e/ou con fins de estudo e de investigación. En nengún caso se permite o uso lucrativo deste documento. Estos dereitos afectan tanto ó resumo da tese como o seu contido | en |
dc.rights.access | info:eu-repo/semantics/openAccess | es_ES |
Ficheiros no ítem
Este ítem aparece na(s) seguinte(s) colección(s)
-
Teses de doutoramento [2118]