- -

Listar por palabra clave "Order-Sorted"

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

Listar por palabra clave "Order-Sorted"

Ordenar por:Orden:Resultados:

  • thumb
    Order-sorted Equational Generalization Algorithm Revisited 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Meseguer, José; Sapiña-Sanchis, Julia (Springer-Verlag, 2022-05)
    [EN] Generalization, also called anti-unification, is the dual of unification. A generalizer of two terms t and t' is a term t '' of which t and t' are substitution instances. The dual of most general equational unifiers ...