CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Compiling Intensional Sets in CLP
P. Bruscoli
,
Agostino Dovier
,
E. Pontelli
,
G. Rossi
1994-01-01
Cite
Type
Conference paper
Publication
Logic Programming: Proceedings of the Eleventh International Conference
Related
GASP: Answer Set Programming with Lazy Grounding
Constructive negation and constraint logic programming with sets
A Necessary Condition for Constructive Negation in Constraint Logic Programming
Embedding Finite Sets in a Logic Programming Language
log: A Logic Programming Language with Finite Sets
Cite
×