On Some Variants of Second-Order Unification
On Some Variants of Second-Order Unification
Mateu
Mateu
 
Villaret
Villaret
 (
)
On Some Variants of Second-Order Unification
On Some Variants of Second-Order Unification
 

An industrial PhD

Advisors: 

Jordi Levy

Jordi Levy

University: 

Abstract: