Combining lists with integers
| Author(s) : | Calogero G. Zarba, |
| Publisher : | N/A |
| Publication Date : | 2001 |
| ISSN : | N/A |
| Abstract : | Abstract. In this paper we present a satisability procedure for a constraint language combining at lists of ur-elements, the integers, and an arbitrary rst-order theory T of the ur-elements. Our procedure is an extension of the Nelson-Oppen combination method specically tailored to the combination domain of lists, integers, and ur-elements., |