| |
402377
|
Infos complémentaires |
| parentName_s |
Institut de Recherche en Informatique Fondamentale |
|
Automates et Applications [LIAFA] |
|
researchteam |
|
|
|
2019-12-31 |
|
| |
454672
|
Infos complémentaires |
| parentName_s |
Université Paris Diderot - Paris 7Centre National de la Recherche ScientifiqueInstitut de Recherche en Informatique FondamentaleInria de Paris |
|
Design, study and implementation of languages for proofs and programs |
PI.R2 |
researchteam |
|
|
2016-01-01 |
2019-12-31 |
|
| |
454653
|
Infos complémentaires |
| parentName_s |
Institut de Recherche en Informatique FondamentaleInria de Paris |
|
Networks, Graphs and Algorithms |
GANG |
researchteam |
|
|
2016-01-01 |
2019-12-31 |
|
