Project leader
INRIA Rennes - Bretagne AtlantiquePartners
Systerel, INRIA Sophia Antipolis-Méditerranée, INRIA Nancy - Grand EstLRI (CNRS - IDF Sud), CEA LIST (COMMISSARIAT A L'ENERGIE ATOMIQUE)Funders
ANR,
DECERT
Design an architecture for cooperative decision-making procedures, with particular attention to fragments of arithmetic and their combination with other theories about data structures.