H2020 projects about "sequentiality"
The page lists 2 projects related to the topic "sequentiality".
| # |
achronym |
title |
year |
| 1 |
PACT |
Proof-theoretical Approaches to Concurrency Theory |
2016 |
| 2 |
BDE |
Beyond Distance Estimates: A New Theory of Heuristics for State-Space Search |
2019 |
