- -

A Modular Order-sorted Equational Generalization Algorithm

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


A Modular Order-sorted Equational Generalization Algorithm

Show full item record

Alpuente Frasnedo, M.; Escobar Román, S.; Espert Real, J.; Meseguer, J. (2014). A Modular Order-sorted Equational Generalization Algorithm. Information and Computation. 235:98-136. doi:10.1016/j.ic.2014.01.006

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

Files in this item

Item Metadata

Title: A Modular Order-sorted Equational Generalization Algorithm
Author: Alpuente Frasnedo, María Escobar Román, Santiago Espert Real, Javier Meseguer, José
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...[+]
Subjects: Unification , Logic , Inheritance , Semantics , Programs , Algebra , Terms
Copyrigths: Reserva de todos los derechos
Information and Computation. (issn: 0890-5401 )
DOI: 10.1016/j.ic.2014.01.006
Publisher version: http://dx.doi.org/10.1016/j.ic.2014.01.006
Project ID:
Spanish MEC/MICINN [IN 2010-21062-C02-02]
Generalitat Valenciana [PROMETEO2011/052]
NSF [CNS 09-04749] [CCF 09-05584]
M. Alpuente, S. Escobar, and J. Espert have been partially supported by the EU (FEDER) and the Spanish MEC/MICINN under grant TIN 2010-21062-C02-02, and by Generalitat Valenciana PROMETEO2011/052. J. Meseguer has been ...[+]
Type: Artículo



This item appears in the following Collection(s)

Show full item record