R. Carmona, A. Dovier, and G. Rossi. Dealing with infinite intensional sets in clp. In Proceedings of the joint conference on declarative programming APIA-GULP-PRODE'97, pages 467--477, Grado, Italy, June 16-19 1997.  Home/Search   Document Details and Download   Context   Related Articles

This paper is cited by the following papers:

Solving Inclusion Constraints between intensional sets - Tellez-Arenas Lifo   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC