Opendata, web and dolomites
H2020 projects about "admits"
The page lists 5 projects related to the topic "admits".
| # | |||
|---|---|---|---|
| 1 | HORIP | Higher-Order Rewriting for Intensional Properties of Programs and Circuits | 2015 |
| 2 | KRF-CY | The Kaehler-Ricci flow and Singular Calabi-Yau manifolds | 2015 |
| 3 | FATMOLS | FAult Tolerant MOLecular Spin processor | 2020 |
| 4 | SAFEBIO | Safe and Complete Algorithms for Bioinformatics | 2020 |
| 5 | FIBRING | Fibring of manifolds and groups | 2020 |