Decidability of systems of set constraints with negative constraints
| Author(s) : | Dexter Kozen Alexander Aiken Alexander Aiken Dexter Kozen, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRICS, |