提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:journals/entcs/Statman10澳大利亚-Statman，RickTI-笛卡尔单体。BT-2010年5月6日至10日，加拿大安大略省渥太华，2010年MFPS第26届编程语义数学基础会议论文集SP-437EP-4512010年上半年//DO-2016年10月10日/J.ENTCS.2010.08.026UR-（欧元）https://doi.org/10.1016/j.entcs.2010.08.026急诊室-