Opendata, web and dolomites
H2020 projects about "systematising"
The page lists 4 projects related to the topic "systematising".
| # | |||
|---|---|---|---|
| 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 | ALTERUMMA | Creating an Alternative umma: Clerical Authority and Religio-political Mobilisation in Transnational Shii Islam | 2018 |
| 4 | DEChriM | Deconstructing Early Christian Metanarratives: Fourth-Century Egyptian Christianity in the Light of Material Evidence | 2019 |