Negative set constraints with equality

This publication has 13 references indexed in Scilit:

• Solving systems of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Solving systems of set constraints with negated subset relationships
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A decision procedure for a class of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Static type inference in a dynamically typed language
  Published by Association for Computing Machinery (ACM) ,1991
• Implementing regular tree expressions
  Published by Springer Nature ,1991
• A finite presentation theorem for approximating logic programs
  Published by Association for Computing Machinery (ACM) ,1990
• Declaration-free type checking
  Published by Association for Computing Machinery (ACM) ,1985
• Complexity results for classes of quantificational formulas
  Journal of Computer and System Sciences, 1980
• Flow analysis and optimization of LISP-like structures
  Published by Association for Computing Machinery (ACM) ,1979
• An application of games to the completeness problem for formalized theories
  Fundamenta Mathematicae, 1960