Opendata, web and dolomites

H2020 projects about "systematising"

The page lists 4 projects related to the topic "systematising".

# achronym  title  year 
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