CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Rossi G
Latest
GASP: Answer Set Programming with Lazy Grounding
Integrating Finite Domain Constraints and CLP with Sets
Intensional Sets in CLP
Constructive negation and constraint logic programming with sets
Multiset Constraints and P Systems
Multiset rewriting by multiset constraint solving
A Necessary Condition for Constructive Negation in Constraint Logic Programming
Sets and Constraint Logic Programming
ACI1 Constraints
From Set to Hyperset Unification
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm
On the Representation and Management of Finite Sets in CLP-languages
Cite
×