Symbolic Computation of Differential Equivalences / Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, Max. - In: ACM SIGPLAN NOTICES. - ISSN 1523-2867. - 51:1(2016), pp. 137-150. ( POPL 2016 St. Petersburg, FL, USA 20/01/2016 - 22/01/2016) [10.1145/2837614.2837649].
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
z3-popl16.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
510.01 kB
Formato
Adobe PDF
|
510.01 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

