## A Uniform Approach to Constraint-Solving for Lists, Multisets, Compact Lists, and Sets (2002)

### Cached

### Download Links

- [www.math.unipr.it]
- [prmat.math.unipr.it]
- [www.dimi.uniud.it]
- DBLP

### Other Repositories/Bibliography

Citations: | 9 - 5 self |

### BibTeX

@MISC{Dovier02auniform,

author = {Agostino Dovier and Carla Piazza and Gianfranco Rossi},

title = {A Uniform Approach to Constraint-Solving for Lists, Multisets, Compact Lists, and Sets},

year = {2002}

}

### Years of Citing Articles

### OpenURL

### Abstract

Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of Computer Science. These data structures have been analyzed from an axiomatic point of view with a parametric approach in [12] where the relevant uni cation algorithms have been also parametrically developed. In this paper we extend these results considering more general constraints including not only equality but also membership constraints as well as their negative counterparts. This amounts to de ne the privileged structures for the considered axiomatic theories and to solve the relevant constraint satisfaction problems in each of the theories. We adopt a highly parametric approach which allows all the results obtained separately for each single theory to be easily combined so as to obtain a general framework where it is possible to deal with more than one data structure at a time.