Logic Programming Research
Extensional and Intensional Sets in CLP with
Intensional Negation
ICLP93 Post-conference Workshop on Logic Programming with Sets,
Budapest (Hungary), June 1993.
Author(s)
P. Bruscoli @ the University of Salerno (Italy),
Agostino Dovier @ the University of Pisa (Italy),
Eugenio G. Omodeo @ the University of Salerno (Italy),
Enrico Pontelli,
GianFranco Rossi @ the University of Parma (Italy)
Abstract
The whole paper
can be downloaded from our
server.
Logic Prog. Page Research Page Lab Home Page