提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:日记账/entcs/Statman16a澳大利亚统计局，RickTI-如何将交集类型视为笛卡尔积。BT-第三十二届编程语义数学基础会议，2016年MFPS，美国宾夕法尼亚州匹兹堡卡内基梅隆大学，2016年5月23日至26日SP-305型EP-3122016年上半年//DO-2016年10月10日/J.ENTCS.2016.09.045UR-（欧元）https://doi.org/10.1016/j.entcs.2016.09.045UR-（欧元）https://www.wikidata.org/entity/Q113317627急诊室-