- -

Listar por palabra clave "Equational reasoning"

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

Listar por palabra clave "Equational reasoning"

Ordenar por:Orden:Resultados:

  • thumb
    ACUOS: A System for Order-Sorted Modular ACU Generalization 
    Espert Real, Javier (Universitat Politècnica de València, 2013-02-06)
    [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 ...
  • 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 ...