Italiano (Italian) English (Inglese)
venerdì, 21 giugno 2024

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