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.002 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 |