Decidability of Systems of Set Constraints with Negative Constraints

• 1 October 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 122  (1) , 30-44
• https://doi.org/10.1006/inco.1995.1139

Abstract

Keywords

• SET CONSTRAINTS
• DECIDABLE
• THEORETIC
• MIXED
• INFERENCE
• SOLVING
• INTEREST
• NEGATIVE CONSTRAINTS SET
• CONSTRAINTS WITH NEGATIVE