On Some Variants of Second-Order Unification

Autor: Mateu Villaret
Universidad:
Director: Jordi Levy
Año: 2004
Resumen: