By Honsell F.   Lenisa M.   in Theoretical Computer Science

ISSN:0304-3975|212|1|183-209

Elsevier‎(1999)‎

Access to resources Favorite 12.130041

By Honsell F.   Miculan M.   in Theoretical Computer Science

ISSN:0304-3975|298|3|385-386

Elsevier‎(2003)‎

Access to resources Favorite 12.130041

By Forti M.   Honsell F.   in Theoretical Computer Science

ISSN:0304-3975|156|1|203-215

Elsevier‎(1996)‎

Access to resources Favorite 12.130041

By Honsell F.   Miculan M.   Scagnetto I.   in Theoretical Computer Science

ISSN:0304-3975|253|2|239-285

Elsevier‎(2001)‎

Access to resources Favorite 9.540045

By Alessi F.   Baldan P.   Honsell F.   in Theoretical Computer Science

ISSN:0304-3975|290|1|599-635

Elsevier‎(2003)‎

Access to resources Favorite 9.540045

By Avron A.   Honsell F.   Miculan M.   Paravano C.   in Studia Logica

ISSN:0039-3215|60|1|161-208

Springer Publishing Company ‎(1998)‎

Access to resources Favorite 7.802532