The independence property of a class of set constraints

This publication has 16 references indexed in Scilit:

• Solving systems of set constraints with negated subset relationships
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Set constraints are the monadic class
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Set constraints with projections are in NEXPTIME
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Negative set constraints with equality
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Logic programs as types for logic programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Decidability of Systems of Set Constraints with Negative Constraints
  BRICS Report Series, 1994
• A feature constraint system for logic programming with entailment
  Theoretical Computer Science, 1994
• Soft typing with conditional types
  Published by Association for Computing Machinery (ACM) ,1994
• Set Based Analysis of ML Programs
  Published by Defense Technical Information Center (DTIC) ,1993
• Entailment and disentailment of order-sorted feature constraints
  Published by Springer Nature ,1993