Algoritmos de unificacion ecuacional en teorias xerais

Tesis doctoral de Luis Cachafeiro Chamosa Se presenta un nuevo algoritmo universal de e-unificacion que es completo en teorias generales, […]

, , , , ,