On Some Variants of Second-Order Unification

Author: Mateu Villaret
University:
Advisor: Jordi Levy
Year: 2004
Abstract: