电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Aoun, Ali S. ;Barbanera, Franco ;Dezani-Ciancaglini, Mariangiola 等
出 处：Journal of Computing and Information Technology. 1997 ;5(2):129-138.
出 版 社：SRCE - Sveučilišni računski centar
文 章 ID：183987622
作 者：Venneri, Betti ;Giannini, Paola ;Dezani-Ciancaglini, Mariangiola 等
出 处：Logical Methods in Computer Science. 2018 ;14(3).doi:10.23638/LMCS-14(3:17)2018
出 版 社：Technical University of Braunschweig
文 章 ID：1021277410
作 者：Dezani-Ciancaglini, Mariangiola ;Tuosto, Emilio ;Padovani, Luca 等
出 处：Logical Methods in Computer Science. 2017 ;13(2).
出 版 社：Technical University of Braunschweig
文 章 ID：1011733847
作 者：Yoshida, Nobuko ;Scalas, Alceste ;Dezani-Ciancaglini, Mariangiola 等
出 处：Logical Methods in Computer Science. 2017 ;13(2).
出 版 社：Technical University of Braunschweig
文 章 ID：1011733850