Set constraints with intersection
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 68, 362-372
- https://doi.org/10.1109/lics.1997.614962
Abstract
No abstract availableThis publication has 32 references indexed in Scilit:
- Set constraints in some equational theoriesPublished by Springer Nature ,2005
- A CLP view of logic programmingPublished by Springer Nature ,2005
- Solving systems of set constraints with negated subset relationshipsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tarskian set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A constraint sequent calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Inclusion constraints over non-empty sets of treesPublished by Springer Nature ,1997
- Constrained dependenciesPublished by Springer Nature ,1995
- Haskell overloading is DEXPTIME-completeInformation Processing Letters, 1994
- Records for logic programmingThe Journal of Logic Programming, 1994
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985