Non-deterministic Matrices and their Applications for Non-classical Logics

Informazioni relative al progetto

NDMANCL

ID dell’accordo di sovvenzione: 252314

Progetto chiuso

Data di avvio 1 Aprile 2011

Data di completamento 31 Marzo 2013

Finanziato da

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Costo totale € 163 781,20

Contributo UE € 163 781,20

Coordinato da

TECHNISCHE UNIVERSITAET WIEN
Austria