CINECA IRIS Institutional Research Information System

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
03D-Recensione in Rivista
File in questo prodotto:
File Dimensione Formato  
2015-3375745.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 140.72 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
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