A. Tellez-Arenas

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Existing approaches to deal with sets in a CLP framework generally assume the niteness of the subjacent sets: that is a reason why intensional sets are often forbidden. In this paper, we propose a new compilation method to treat intensional sets in a general setting. Our representation relies on a simply typed-calculus: sets are considered as Boolean-valued(More)
  • 1