Gascón Caro, Adrià (Date of defense: 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. ...