- -

ACUOS: A System for Order-Sorted Modular ACU Generalization

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

ACUOS: A System for Order-Sorted Modular ACU Generalization

Mostrar el registro completo del ítem

Espert Real, J. (2012). ACUOS: A System for Order-Sorted Modular ACU Generalization. http://hdl.handle.net/10251/19218.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/19218

Ficheros en el ítem

Metadatos del ítem

Título: ACUOS: A System for Order-Sorted Modular ACU Generalization
Autor:
Director(es): Alpuente Frasnedo, María
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2012-07-09
Fecha difusión:
Resumen:
[ES] La generalización, también denominada anti-unificación, es la operación dual de la unificación. Dados dos términos t y t' , un generalizador es un término t'' del cual t y t' son instancias de sustitución. El concepto ...[+]


[EN] Generalization, also called anti-uni cation, is the dual of uni cation. Given terms t and t 0 , a generalization is a term t 00 of which t and t 0 are substitution instances. The dual of a most general ...[+]
Palabras clave: Generalización menos general , Razonamiento ecuacional , Least general generalization , Rule-based languages , Equational reasoning , Lenguajes basados en reglas
Derechos de uso: Reconocimiento - Sin obra derivada - No comercial (by-nd-nc)
Titulación: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Tipo: Tesis de máster

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem