Opendata, web and dolomites
H2020 projects about "calculi"
The page lists 3 projects related to the topic "calculi".
| # | |||
|---|---|---|---|
| 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 |