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

H2020 projects about "calculi"

The page lists 3 projects related to the topic "calculi".

# achronym  title  year 
1 PAnaMoL Proof-theoretic Analysis of Modal Logics 2015
2 PACT Proof-theoretical Approaches to Concurrency Theory 2016
3 CARBS Compositional Approximate Reasoning via Bialgebraic Semantics 2019