Opendata, web and dolomites
H2020 projects about "decidable"
The page lists 3 projects related to the topic "decidable".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | DeciGUT | A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation | 2018 |
| 3 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |