Italiano (Italian) English (Inglese)
Friday, 29 March 2024

Publications

Back
Pubblication Details
Authors:Ferruccio Damiani
Paola Giannini
Title:An Inference Algorithm for Strictness
Published on:TLCA'97
Pages:129-146
Publisher:Springer
Year:1997
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/tlca97.html