Inclusion constraints over non-empty sets of trees

This publication has 23 references indexed in Scilit:

• Solving systems of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• 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
• The independence property of a class of set constraints
  Published by Springer Nature ,1996
• Decidability of Systems of Set Constraints with Negative Constraints
  Information and Computation, 1995
• Soft typing with conditional types
  Published by Association for Computing Machinery (ACM) ,1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993
• Equational problems anddisunification
  Journal of Symbolic Computation, 1989
• The Type Free Lambda Calculus
  Published by Elsevier ,1977