Logical aspects of set constraints

This publication has 21 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
• A decision procedure for a class of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Implementing regular tree expressions
  Published by Springer Nature ,1991
• Subtyping recursive types
  Published by Association for Computing Machinery (ACM) ,1991
• Varieties of complex algebras
  Annals of Pure and Applied Logic, 1989
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Fundamental properties of infinite trees
  Theoretical Computer Science, 1983
• Modal Logic
  Published by Cambridge University Press (CUP) ,1980
• Lectures on Boolean Algebras
  Published by Springer Nature ,1974