True concurrency of deep inference proofs

Kahramanogullari, Ozan

doi:10.1007/978-3-662-52921-8_16

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

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2016
			
	Titolo del volume (Proceedings title)
	
				Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : Proceedings
			
	Luogo di edizione (Place of publication)
	
				Berlin Heidelberg
			
	Casa editrice (Publisher)
	
				Springer
			
	ISBN
	
				9783662529201
9783662529218
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-84981510415
			
	Codice WOS (WOS identifier)
	
				WOS:000389705800016
			
	Tutti gli autori
	
						Kahramanogullari, Ozan
					
	Citazione
	
				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].
			
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)

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