Algoritmos de unificación ecuacional en teorías xerais
| UDC.coleccion | Teses | es_ES |
| dc.contributor.advisor | Freire Nistal, José Luis | |
| 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.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.identifier.isbn | 978-84-692-8215-1 | |
| dc.identifier.uri | http://hdl.handle.net/2183/5581 | |
| dc.language.iso | glg | es_ES |
| dc.rights.accessRights | open access | 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.subject | Algoritmos | es_ES |
| dc.title | Algoritmos de unificación ecuacional en teorías xerais | es_ES |
| dc.type | doctoral thesis | es_ES |
| dspace.entity.type | Publication | |
| relation.isAdvisorOfPublication | 72e0266f-7b4d-4736-9dbc-a7d5b7b01d0f | |
| relation.isAdvisorOfPublication.latestForDiscovery | 72e0266f-7b4d-4736-9dbc-a7d5b7b01d0f |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- CachafeiroChamosa_LuisCarlos_TD_1994.pdf
- Size:
- 8.08 MB
- Format:
- Adobe Portable Document Format
- Description: