On some variants of second-order unification

Tesis doctoral de Mateu Villaret Auselle In this thesis we present several results about second-order unification. It is well known […]

, , , , ,