Opendata, web and dolomites
H2020 projects about "counterexamples"
The page lists 4 projects related to the topic "counterexamples".
| # | |||
|---|---|---|---|
| 1 | INDEX | Rigidity of groups and higher index theory | 2016 |
| 2 | CASe | Combinatorics with an analytic structure | 2016 |
| 3 | LexsemLexcat | The lexical semantics of lexical categories | 2018 |
| 4 | ALGOCERT | Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems | 2019 |