By Miculan M.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|58|1|1-22

Elsevier‎(2004)‎

Access to resources Favorite 15.248018

By Honsell F.   Miculan M.   in Theoretical Computer Science

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

Elsevier‎(2003)‎

Access to resources Favorite 11.852344

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.321846

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.624009