True concurrency of deep inference proofs / Kahramanogullari, Ozan. - ELETTRONICO. - 9803:(2016), pp. 249-264. (Intervento presentato al convegno 23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016 tenutosi a Puebla, Mexico nel 2016) [10.1007/978-3-662-52921-8_16].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
428598_1_En_16_Chapter_OnlinePDF.PDF
Solo gestori archivio
Descrizione: Capitolo di libro
Tipologia:
Post-print referato (Refereed author’s manuscript)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
745.07 kB
Formato
Adobe PDF
|
745.07 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione