Tesis doctoral de Luis Cachafeiro Chamosa
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.
Datos académicos de la tesis doctoral «Algoritmos de unificacion ecuacional en teorias xerais«
- Título de la tesis: Algoritmos de unificacion ecuacional en teorias xerais
- Autor: Luis Cachafeiro Chamosa
- Universidad: A coruña
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Freire Nistal José Luis
- Tribunal
- Presidente del tribunal: José Luis Maté Hernández
- José Alberto Jaén Gallego (vocal)
- Juan Pazos Sierra (vocal)
- Miguel Lopez Lopez (vocal)