Adeegso tilmaantan si aad u carrabbaabdo ama ugu samayso link qoraalkan http://hdl.handle.net/2307/176
Cinwaan: Jump from parallel to sequential proofs : on polarities and sequentiality in linear logic
Qore: Di Giamberardino, Paolo
Tifaftire: Abrusci, Vito Michele
Taariikhda qoraalka: 2008
Tifaftire: Università degli Studi Roma Tre
URI : http://hdl.handle.net/2307/176
Wuxuu ka dhex muuqdaa ururinnada:Dipartimento di Filosofia, Comunicazione e Spettacolo
T - Tesi di dottorato

Fayl ku dhex jira qoraalkan:
Fayl Sifayn BaacFayl
tesifinale.pdfdigiamberardino726.81 kBAdobe PDFMuuji/fur
Muuji xogta qoraalka Ku tali qoraalkan

Page view(s)

157
Last Week
0
Last month
0
checked on Nov 23, 2024

Download(s)

37
checked on Nov 23, 2024

Google ScholarTM

Check


Dhammaan qoraallada lagu kaydiyay DSpace waxay u dhowrsanyihiin xuquuqda qoraha.