Davide Aliffi

Publication Activity (10 Years)

Years Active: 1993-1999
Publications (10 Years): 0

Publications

Davide Aliffi, Agostino Dovier, Gianfranco Rossi
From Set to Hyperset Unification J. Funct. Log. Program. 1999 (10) (1999)
Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo
Unification of Hyperset Terms. ICLP Workshop on Logic Programming with Sets (1993)