电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Benedetto Intrigila ;Giulio Manzonetto ;Andrew Polonsky
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:20:1-20:18.doi:10.4230/LIPIcs.FSCD.2017.20
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：200735129
作 者：Thomas Ehrhard ;Antonio Bucciarelli ;Alberto Carraro 等
出 处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:3)2012
出 版 社：Technical University of Braunschweig
文 章 ID：264691877
作 者：Antonio Bucciarelli ;Alberto Carraro ;Thomas Ehrhard 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:97-111.doi:10.4230/LIPIcs.CSL.2011.97
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845977
作 者：Flavien Breuvart ;Giulio Manzonetto ;Andrew Polonsky 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:15:1-15:18.doi:10.4230/LIPIcs.FSCD.2016.15
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847447
作 者：Giulio Guerrieri ;Giulio Manzonetto
出 处：Electronic Proceedings in Theoretical Computer Science. 2019 ;292:15-30.doi:10.4204/EPTCS.292.2
出 版 社：Open Publishing Association
文 章 ID：1034807890