提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/jsyml/CasanovasF96澳大利亚-卡萨诺瓦斯，恩里克非盟-拉斐尔·法雷TI-在不完全理论中省略类型。JO-J.符号。日志。VL-61IS-1标准SP-236EP-2451996年上半年//多-10.2307/2275607你-https://doi.org/10.2307/2275607你-http://project欧几里得.org/欧几里得jsl/1183744936呃-