作　　者：Alberto Carraro ;Thomas Ehrhard ;Antonino Salibra

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;113:93-108.doi:10.4204/EPTCS.113.10

出 版 社：Open Publishing Association

文 章 ID：85357002

作　　者：Thomas Ehrhard

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-17.doi:10.4230/LIPIcs.FSCD.2019.17

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

文 章 ID：238892304

作　　者：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

作　　者：Thomas Ehrhard

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:1-1.doi:10.4230/LIPIcs.CSL.2011.1

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

文 章 ID：186845968

作　　者：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

作　　者：Thomas Ehrhard

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:259-273.doi:10.4230/LIPIcs.CSL.2012.259

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

文 章 ID：186846164