Variants of unification considering compression and context variables 

Gascón Caro, Adrià (Fecha de defensa: 2014-05-30)

Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...