作　　者：Ran Chen ;Cyril Cohen ;Jean-Jacques Lvy 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-19.doi:10.4230/LIPIcs.ITP.2019.13

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：240116670

作　　者：Cyril Cohen ;Kazuhiko Sakaguchi ;Enrico Tassi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:34:1-34:21.doi:10.4230/LIPIcs.FSCD.2020.34

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：255823211

作　　者：Cyril Cohen ;Thierry Coquand ;Simon Huber 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:5:1-5:34.doi:10.4230/LIPIcs.TYPES.2015.5

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015480

作　　者：Assia Mahboubi ;Cyril Cohen

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:2)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691929

作　　者：Guillaume Cano ;Cyril Cohen ;Maxime Dénès 等

出　　处：Logical Methods in Computer Science. 2016 ;12(2):1.doi:10.2168/LMCS-12(2:7)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692091

作　　者：Reynald Affeldt ;Cyril Cohen ;Damien Rouhling

出　　处：Journal of Formalized Reasoning. 2018 ;11(1):43-76.doi:10.6092/issn.1972-5787/8124

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：231643973