提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lfcs/Statman16澳大利亚统计局，RickTI-征税标签和递归类型。BT-计算机科学逻辑基础-国际研讨会，2016年LFCS，美国佛罗里达州迪尔菲尔德海滩，2016年1月4-7日。诉讼程序SP-392EP-4062016年上半年//DO-2007年10月10日/978-3-319-27683-0_27UR-（欧元）https://doi.org/10.1007/978-3-319-27683-0_27急诊室-