Bisimilarity via unique-solution techniques / Sangiorgi, Davide*. - ELETTRONICO. - 2243:(2018), pp. 7-11. (Intervento presentato al convegno 19th Italian Conference on Theoretical Computer Science, ICTCS 2018 tenutosi a Urbino nel 2018).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CEURinvited2.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione
247.55 kB
Formato
Adobe PDF
|
247.55 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.