提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/csl/Statman13澳大利亚统计局，RickTI——一种新的强规范化项类型赋值。BT-计算机科学逻辑2013（CSL 2013），CSL 2013，2013年9月2-5日，意大利都灵SP-634型EP-6522013年上半年//DO-10.4230/LIPICS。CSL.2013.634号文件UR-（欧元）https://doi.org/10.4230/LIPIcs.CSL.2013.634急诊室-