Opendata, web and dolomites
H2020 projects about "predicate"
The page lists 7 projects related to the topic "predicate".
| # | |||
|---|---|---|---|
| 1 | ClauSeInTEL | Clausal Selection: Integrating Theoretical with Experimental Linguistics | 2015 |
| 2 | FOREMOTIONS | Formal Frameworks for Modal Notions Conceived as Predicates | 2016 |
| 3 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 4 | LexsemLexcat | The lexical semantics of lexical categories | 2018 |
| 5 | LOFUPRO | The Logical Function of Property Talk | 2018 |
| 6 | HydroLieve | A long-lasting non-migrating hydrogel for relieving chronic pain | 2018 |
| 7 | SafeNet | Safe Networks using P4 Programs | 2019 |