Italiano (Italian) English (Inglese)
Sunday, 9 February 2025

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Ferruccio Damiani
Paola Giannini
Titolo:An Inference Algorithm for Strictness
Apparso su:TLCA'97
Pagine:129-146
Editore:Springer
Anno:1997
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/tlca97.html