Buscar
Mostrando ítems 1-1 de 1
Algoritmos de unificación ecuacional en teorías xerais
(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 ...