Scorri la lista: Supervisore e Co-supervisore

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore | Data di discussione | Ciclo | Nessun raggruppamento
Vai a: P
Numero di documenti: 1.

P

Prebet, Enguerrand (2022) Typed behavioural equivalences in the Pi-Calculus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 36 Ciclo. DOI 10.48676/unibo/amsdottorato/10520.

Questa lista e' stata generata il Thu Mar 28 20:38:59 2024 CET.
^