Unification of Hyperset Terms.
Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo
VenueBICLP
Year1993
ProceedingsICLP Workshop on Logic Programming with Sets
DBLP recordconf/iclp/AliffiRDO93 ↗
Browse the full ICLP paper archive.
Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo
Browse the full ICLP paper archive.