|
National Research Project: COFIN'01
- Project Title
-
Aggregate- and Number-Reasoning for Computing:
from Decision Algorithms to Constraint Programming
with Multisets, Sets, and Maps
- Kind
-
Collaborative MURST Project between the universities of
Catania, L'Aquila e Parma (COFIN'01).
- Period
-
November 2001 - November 2003.
- National Coordinator
-
Prof. Domenico Cantone.
- Local Project Title
-
Declarative Programming with Set and Multiset Constraints
- Local Coordinator
-
Prof. Gianfranco Rossi.
- Local Members
-
Dr. Roberto Alfieri
Prof. Roberto Bagnara
Prof. Agostino Dovier
Prof. Gianfranco Rossi
Dr. Enea Zaffanella
[Page last updated on January 24, 2005, 09:37:06.]
|