activity
20202025
most citedA Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals

2 citations · 8 across the 8 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2020

Declarative Programming with Intensional Sets in Java Using JSetL

Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi

Intensional sets are sets given by a property rather than by enumerating their elements. In previous work, we have proposed a decision procedure for a first-order logic language wh…