Opendata, web and dolomites
H2020 projects about "gentzen"
The page lists 1 projects related to the topic "gentzen".
| # | |||
|---|---|---|---|
| 1 | SYSMICS | Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. | 2016 |
The page lists 1 projects related to the topic "gentzen".
| # | |||
|---|---|---|---|
| 1 | SYSMICS | Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. | 2016 |