On Some Variants of Second-Order Unification

Autor: Mateu Villaret
Universitat:
Director: Jordi Levy
Any: 2004
Resum: