CRIS Current Research Information System

Dal Lago U., Gavazzo F. (2019). Effectful Normal Form Bisimulation. Springer Verlag [10.1007/978-3-030-17184-1_10].

Effectful Normal Form Bisimulation

Dal Lago U.
;Gavazzo F.
2019
2019
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
263
292
Dal Lago U., Gavazzo F. (2019). Effectful Normal Form Bisimulation. Springer Verlag [10.1007/978-3-030-17184-1_10].
Dal Lago U.; Gavazzo F.
4.01 Contributo in Atti di convegno
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/704236
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 13
social impact