电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Mario Coppo ;Ferruccio Damiani ;Elena Grassi 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2009 ;6:77-92.doi:10.4204/EPTCS.6.6
出 版 社：Open Publishing Association
文 章 ID：83119737
作 者：Mariangiola Dezani-Ciancaglini ;Paola Giannini ;Angelo Troina
出 处：Electronic Proceedings in Theoretical Computer Science. 2009 ;9:38-48.doi:10.4204/EPTCS.9.5
出 版 社：Open Publishing Association
文 章 ID：83119758
作 者：Mariangiola Dezani-Ciancaglini ;Paola Giannini ;Angelo Troina
出 处：Electronic Proceedings in Theoretical Computer Science. 2009 ;11:91-105.doi:10.4204/EPTCS.11.6
出 版 社：Open Publishing Association
文 章 ID：83119778
作 者：Sara Capecchi ;Angelo Troina
出 处：Electronic Proceedings in Theoretical Computer Science. 2009 ;19:103-115.doi:10.4204/EPTCS.19.7
出 版 社：Open Publishing Association
文 章 ID：83119840
作 者：Mario Coppo ;Ferruccio Damiani ;Maurizio Drocco 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2010 ;28:82-98.doi:10.4204/EPTCS.28.6
出 版 社：Open Publishing Association
文 章 ID：83119943
作 者：Mario Coppo ;Ferruccio Damiani ;Maurizio Drocco 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2010 ;40:102-120.doi:10.4204/EPTCS.40.8
出 版 社：Open Publishing Association
文 章 ID：83120064
作 者：Cristina Calcagno ;Mario Coppo ;Ferruccio Damiani 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2011 ;67:3-18.doi:10.4204/EPTCS.67.3
出 版 社：Open Publishing Association
文 章 ID：83120307
作 者：Livio Bioglio ;Mariangiola Dezani-Ciancaglini ;Paola Giannini 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2011 ;88:43-58.doi:10.4204/EPTCS.88.4
出 版 社：Open Publishing Association
文 章 ID：83120427
作 者：Adriana Compagnoni ;Mariangiola Dezani-Ciancaglini ;Paola Giannini 等
出 处：Electronic Proceedings in Theoretical Computer Science. 2012 ;100:101-106.doi:10.4204/EPTCS.100.7
出 版 社：Open Publishing Association
文 章 ID：83120632