Opendata, web and dolomites
  1. home
  2. trasparenza
  3. open h2020
  4. per topic
  5. s5

H2020 projects about "s5"

The page lists 2 projects related to the topic "s5".

# achronym  title  year 
1 PAnaMoL Proof-theoretic Analysis of Modal Logics 2015
2 ERIEH Exact Results in Extended Holography 2018