Language
Publisher
- All ( )
- Free, open source ( )
4Result(s)for '"Miculan M."'
Resource list
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