Opendata, web and dolomites
H2020 projects about "decidability"
The page lists 10 projects related to the topic "decidability".
| # | |||
|---|---|---|---|
| 1 | PAnaMoL | Proof-theoretic Analysis of Modal Logics | 2015 |
| 2 | DuaLL | Duality in Formal Languages and Logic - a unifying approach to complexity and semantics | 2015 |
| 3 | ANT | Automata in Number Theory | 2015 |
| 4 | CoVeCe | Coinduction for Verification and Certification | 2016 |
| 5 | InfGroups | Foundations for computing with infinite linear groups | 2016 |
| 6 | LIPA | A unified theory of finite-state recognisability | 2016 |
| 7 | AV-SMP | Algorithmic Verification of String Manipulating Programs | 2017 |
| 8 | DeciGUT | A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation | 2018 |
| 9 | AutoTADes | Automating Timed Automata Design | 2018 |
| 10 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |