MILANESE, MARCO
MILANESE, MARCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 secondi).
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| Local Completeness Logic on Kleene Algebra with Tests | 2022 | Milanese, MarcoRanzato, Francesco | - | LECTURE NOTES IN COMPUTER SCIENCE | Proceedings of the 29th International Static Analysis Symposium |