Gianfranco Rossi

Identifiers

• name variant Gianfranco Rossi 0.60 · backfill

Papers (4)

1. Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets cs.LO · 2025 · author #2
2. A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals cs.LO · 2021 · author #2
3. A uniform approach to constraint-solving for lists, multisets, compact lists, and sets cs.PL · 2003 · author #3
4. Set Unification cs.LO · 2001 · author #3

Mentions

• cs/0309045 #3 · arxiv_oai · confidence 0.70 Gianfranco Rossi
• cs/0110023 #3 · arxiv_oai · confidence 0.70 Gianfranco Rossi

Frequent Coauthors

• Agostino Dovier 2 shared papers
• Maximiliano Cristi\'a 2 shared papers
• Carla Piazza 1 shared papers
• Enrico Pontelli 1 shared papers