Listar por autor "Cachafeiro Chamosa, Luis Carlos"
Mostrando ítems 1-1 de 1
-
Algoritmos de unificación ecuacional en teorías xerais
Cachafeiro Chamosa, Luis Carlos (1994)[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 ...