Set constraints in some equational theories
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 304-319
- https://doi.org/10.1007/bfb0016862
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Negative set constraints with equalityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A decision procedure for a class of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Set constraints and set-based analysisPublished by Springer Nature ,1994
- Solving systems of set constraints using tree automataPublished by Springer Nature ,1993
- Static type inference in a dynamically typed languagePublished by Association for Computing Machinery (ACM) ,1991
- Implementing regular tree expressionsPublished by Springer Nature ,1991
- An introduction to Prolog IIICommunications of the ACM, 1990
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985
- Complexity results for classes of quantificational formulasJournal of Computer and System Sciences, 1980
- Flow analysis and optimization of LISP-like structuresPublished by Association for Computing Machinery (ACM) ,1979