Opendata, web and dolomites
H2020 projects about "reals"
The page lists 5 projects related to the topic "reals".
| # | |||
|---|---|---|---|
| 1 | CSP-Infinity | Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones | 2016 |
| 2 | CID | Computing with Infinite Data | 2017 |
| 3 | IMIC | Inner models and infinite computations | 2018 |
| 4 | BeyondA1 | Set theory beyond the first uncountable cardinal | 2018 |
| 5 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |