Some new Decidability Results on Positive and Negative Set Constraints

• Authors:

• Rémi Gilleron;Sophie Tison;Marc Tommasi

• Affiliations:

• -;-;-

• Venue:
• CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
• Year:
• 1994