MR3375745 Review of Bimbó, Katalin The decidability of the intensional fragment of classical linear logic. Theoret. Comput. Sci. 597 (2015), 1–17.

PAOLINI, LUCA LUIGI
2016-01-01

2016
1
2
http://www.ams.org/mathscinet/search/publdoc.html?pg1=RVRI&pg3=authreviews&s1=660755&sort=Newest&vfpref=html&r=3&mx-pid=3375745
Luca Paolini
File in questo prodotto:
File Dimensione Formato  
2015-3375745.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 140.72 kB
Formato Adobe PDF
140.72 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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