We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via webform.

Browse Research and Tech Reports - Computer Science by Author "Espert, Javier"

  • Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José (2011-07-28)
    Generalization, also called anti-unification, is the dual of unification. Given terms t and t', a generalization is a term t'' of which t and t' are substitution instances. The dual of a most general unifier (mgu) is that ...


    application/pdfPDF (696kB)