Piazza, M., Pulcini, G., Tesi, M. (2023). Linear logic in a refutational setting. JOURNAL OF LOGIC AND COMPUTATION [10.1093/logcom/exad048].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
JLC23.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
1.26 MB
Formato
Adobe PDF
|
1.26 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.