BARBIERI, PIETRO
BARBIERI, PIETRO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Checked corecursive streams: Expressivity and completeness | 1-gen-2023 | Ancona, D.; Barbieri, P.; Zucca, E. | |
| Checking equivalence of corecursive streams: An inductive procedure | 1-gen-2024 | Ancona, Davide; Barbieri, Pietro; Zucca, Elena |