IRIS

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].

True concurrency of deep inference proofs

Kahramanogullari, Ozan
2016-01-01
2016
Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : Proceedings
Berlin Heidelberg
Springer
9783662529201
9783662529218
2-s2.0-84981510415
WOS:000389705800016
Kahramanogullari, Ozan
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
  Visualizza/Apri
745.07 kB Adobe PDF   Visualizza/Apri

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/11572/160641
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact